40:36LftCM2020: Mathematics in Lean introduction - Patrick Massotleanprover community4.6K viewsView & Download
50:59Learning To Code In Lean 4 With A Friend: Starting OutRichard Southwell10.1K viewsView & Download
47:15Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AIAaron Gray465 viewsView & Download
1:18:06Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"Topos Institute5.0K viewsView & Download
1:00:32Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024DeFi Security Summit - DSS9.4K viewsView & Download