PrototypeCommon
dwrensha/animate-lean-proofs
tool for turning Lean proofs into Blender animations
- Owner
- dwrensha (personal account)
- Stars
- Stars: 102
- Forks
- Forks: 8
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Topics
- lean4
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by dwrensha
All 4 repos by dwrensha- dwrensha/seerStars: 367RustAlpha
- dwrensha/compfilesStars: 255LeanAlpha
- dwrensha/gjStars: 110RustPrototype
Nearby in Lean
All Lean repos- yuma-mizuno/lean-math-workshopStars: 105LeanPrototype
- chasenorman/CanonicalStars: 105LeanPrototype
- AxiomMath/IMO2026Stars: 103LeanPrototype
- leanprover/lakeStars: 101LeanPrototype
- NethermindEth/EVMYulLeanStars: 101LeanPrototype
- JOSHCLUNE/LeanHammerStars: 100LeanPrototype