1:00:32Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024DeFi Security Summit - DSS9.4K viewsView & Download
4:27How to learn Lean programming language | Terence Tao and Lex FridmanLex Clips26.8K viewsView & Download
0:50LeanAide: Translation from natural langauge to Lean 4 and Mathlib 4Siddhartha Gadgil275 viewsView & Download
25:52Sebastian Ullrich - The Lean module system (Lean Together 2026)leanprover community535 viewsView & Download