Skip to content

Add verified matrix factorizations: Cholesky and QR (exact)#2

Merged
Robertboy18 merged 3 commits into
lean-dojo:mainfrom
NicolasRouquette:factorization-cholesky-qr
Jun 25, 2026
Merged

Add verified matrix factorizations: Cholesky and QR (exact)#2
Robertboy18 merged 3 commits into
lean-dojo:mainfrom
NicolasRouquette:factorization-cholesky-qr

address review: reword top Cholesky bullet to positive-pivot precondi…

58d7d05
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build project
succeeded Jun 24, 2026 in 1h 13m 53s