Visualisation of Proofs in Lean Awesome video explaining an interesting hack to visualize with smooth animations the different steps in lean proofs. Published: Jul 01, 2024 Author: Alcides Fonseca Language: English
