PrototypeCommon
eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
- Owner
- eric-wieser (personal account)
- Stars
- Stars: 135
- Forks
- Forks: 21
- Language
- Lean
- License
- MIT
- Created
- 2021
- Topics
- leanmatricesformal-mathematicslean4
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by eric-wieser
All 2 repos by eric-wieser- eric-wieser/ros_numpyStars: 319PythonAlpha
Nearby in Lean
All Lean repos- opencompl/veirStars: 137LeanPrototype
- jesse-michael-han/lean-gptfStars: 135LeanPrototype
- openai/cdc-leanStars: 135LeanPrototype
- leanprover-community/lean-perfectoid-spacesStars: 134LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype