eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
GitHub repository with 135 stars and 21 forks.
Language: Lean
Topics: lean, matrices, formal-mathematics, lean4
24h trend summary
Trending score 0.05, freshness score 0.00, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-02: 135 stars and 21 forks.