Rare find

animate-lean-proofs. tool for turning Lean proofs into Blender animations

github.com/dwrensha/animate-lean-proofs
by @dwrensha

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.