Share: Title:Lean for the Curious Mathematician 2023 Basics Duration: 1:07:27 Plays: 2K views Published: 1 year ago Download MP3 Download MP4 Simillar Videos ▶️ 23:35 Infinitude Of Primes --- A Lean Theorem Prover Demo 2K views • 4 years ago ▶️ 28:31 Lean Together 2024: Evgenia Karunus And Anton Kovsharov, Paperproof Visualising Mathematical Proof 2K views • 10 months ago ▶️ 25:34 Metaprogramming In Lean 3 Tutorial: Video 6 2K views • 4 years ago ▶️ 28:36 Lean Together 2024: Sebastian Ullrich, Are We Fast Yet? 2K views • 10 months ago ▶️ 28:28 Metaprogramming In Lean 3 Tutorial: Video 5 2K views • 4 years ago
