PrototypeCommune
eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
- Propriétaire
- eric-wieser (compte personnel)
- Étoiles
- Étoiles : 135
- Forks
- Forks : 21
- Langage
- Lean
- Licence
- MIT
- Création
- 2021
- Sujets
- leanmatricesformal-mathematicslean4
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de eric-wieser
Les 2 dépôts de eric-wieser- eric-wieser/ros_numpyÉtoiles : 319PythonAlpha
D’autres dépôts Lean
Tous les dépôts Lean- openai/cdc-leanÉtoiles : 136LeanPrototype
- jesse-michael-han/lean-gptfÉtoiles : 135LeanPrototype
- opencompl/veirÉtoiles : 135LeanPrototype
- verse-lab/velvetÉtoiles : 134LeanPrototype
- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype