CICM2021: The Design of Mathematical Language - Jeremy Avigad Published 2021-08-19 Download video MP4 360p Recommendations 1:01:15 Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute" 33:24 Lean Together 2024: Wrenna Robson, Permutations on bitvectors 1:02:15 Monthly Community Meeting Jan 12, 2024 30:34 Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover 28:29 Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics 1:03:34 Patrick Massot - Formalisation mathématique et types dépendants : Le point vue d'un (...) 22:45 Lean Together 2024: Joe Hendrix, Lean Standard Library 2024 27:56 Lean Together 2024: Yicheng Qian, Lean-auto 27:53 The Bridges to Fermat's Last Theorem - Numberphile 2:43:04 Wolfram Physics Project: A Discussion with Jim Gates 50:59 Learning To Code In Lean 4 With A Friend: Starting Out 28:47 Lean Together 2024: Mac Malone, How Reservoir boosts your Lean packages 33:01 Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL 10:57 The World's Best Mathematician (*) - Numberphile 1:54:08 Steven Strogatz: In and out of love with math | 3b1b podcast #3 Similar videos 48:33 LftCM2020: Logic in Lean - Jeremy Avigad 28:06 FMM2021: Verified Optimization - Alexander Bentkamp & Jeremy Avigad 26:06 Presentation by Jeremy Avigad at the opening of the Hoskinson Center at Carnegie Mellon University 1:04:10 Lógicos em Quarentena 20/2020: Jeremy Avigad (Carnegie Mellon University) 1:12:20 Formalising Undergraduate Mathematics (CICM13, July 2020) 54:56 Varieties of Mathematical Understanding 1:27:46 Lean Together 2021: Panel on teaching with proof assistants 21:31 Hoskinson Center for Formal Mathematics 1:04:34 The dawn of formalized mathematics 23:35 Infinitude of primes --- a Lean theorem prover demo 12:01 Metaprogramming in Lean 3 tutorial: video 2 34:53 Lean Together 2021: Automatically generalising theorems using typeclasses in Lean More results