Tactics and Keyframes: Visualizing Lean 4 Proofs in Blender [video] (youtube.com) 1 points by dkga 2y ago ↗ HN
[–] dkga 2y ago ↗ Stumbled across this excellent video while searching for ways to communicate proofs in a presentation using lean4. Hope you also like it!
1 comment
[ 4.6 ms ] story [ 20.2 ms ] thread