3 ms·Tactics and Keyframes: Visualizing Lean 4 Proofs in Blender [video]1 points by dkga 2y agodkga 2y agoStumbled across this excellent video while searching for ways to communicate proofs in a presentation using lean4. Hope you also like it!