dwrensha / animate-lean-proofs

tool for turning Lean proofs into Blender animations
38Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for animate-lean-proofs