Tactics and Keyframes: Visualizing Lean 4 Proofs in Blender [video]

youtube.com

1 pointdkga1 comment

Stumbled across this excellent video while searching for ways to communicate proofs in a presentation using lean4. Hope you also like it!