LftCM2020: Mathematics in Lean introduction - Patrick Massot Published 2020-07-14 Download video MP4 360p Recommendations 48:33 LftCM2020: Logic in Lean - Jeremy Avigad 23:35 Infinitude of primes --- a Lean theorem prover demo 1:14:48 The Future of Mathematics? 43:31 2. Branching and Iteration 1:02:15 Monthly Community Meeting Jan 12, 2024 18:02 Automated Mathematical Proofs - Computerphile 3:16:28 Vectors & Dot Product • Math for Game Devs [Part 1] 1:14:54 What makes the natural log "natural"? | Ep. 7 Lockdown live math 07:53 10 minute Lean tutorial : proving logical propositions 15:08 What can “The Simpsons” teach us about Dynamic Programming? 10:01 A Nice Math Olympiad Algebra Problem. 1:18:08 Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura 09:50 Logic in Lean, video 1 (logical implication) 2:19:34 Grant Sanderson (3Blue1Brown) | Unsolvability of the Quintic | The Cartesian Cafe w/ Timothy Nguyen 11:54 Introductory Proof with Lean 4 - Natural Numbers 3:57:55 Learn TensorFlow and Deep Learning fundamentals with Python (code-first introduction) Part 2/2 2:31:07 Machine Learning in C (Episode 1) Similar videos 40:19 Lean 4 overview for Mathlib users - Patrick Massot 31:41 LftCM2020: Topology and filters - Patrick Massot 48:31 Patrick Massot: Formalizing a Sophisticated Definition 1:13:04 Patrick Massot | Why explain mathematics to computers? 24:03 LftCM2020: Sets in Lean - Jeremy Avigad 1:11:32 Formalized mathematics and differential topology - Patrick Massot - Lean in Lyon 1:06:29 Curvature and contact topology - Patrick Massot 10:29 Metaprogramming in Lean 3 tutorial: video 1 29:46 LftCM2020: Category theory - Scott Morrison 14:30 Lean Together 2021: Opening remarks 1:03:34 Patrick Massot - Formalisation mathématique et types dépendants : Le point vue d'un (...) 24:35 LftCM2020: Building the topological hierarchy - Alex Best 22:57 Induction in Lean More results