PrototypeCommune
dwrensha/animate-lean-proofs
tool for turning Lean proofs into Blender animations
- Propriétaire
- dwrensha (compte personnel)
- Étoiles
- Étoiles : 102
- Forks
- Forks : 8
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- lean4
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de dwrensha
Les 4 dépôts de dwrensha- dwrensha/seerÉtoiles : 367RustAlpha
- dwrensha/compfilesÉtoiles : 255LeanAlpha
- dwrensha/gjÉtoiles : 110RustPrototype
D’autres dépôts Lean
Tous les dépôts Lean- yuma-mizuno/lean-math-workshopÉtoiles : 105LeanPrototype
- chasenorman/CanonicalÉtoiles : 105LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype
- leanprover/lakeÉtoiles : 101LeanPrototype
- NethermindEth/EVMYulLeanÉtoiles : 101LeanPrototype
- JOSHCLUNE/LeanHammerÉtoiles : 100LeanPrototype