10 minute Lean tutorial : proving logical propositions Published 2020-04-12 Download video MP4 360p Recommendations 23:35 Infinitude of primes --- a Lean theorem prover demo 07:16 Ten minute Lean tutorial : make proofs of easy lemmas 09:50 Logic in Lean, video 1 (logical implication) 42:43 "Propositions as Types" by Philip Wadler 18:02 Automated Mathematical Proofs - Computerphile 1:14:48 The Future of Mathematics? 15:56 Computer Science ∩ Mathematics (Type Theory) - Computerphile 06:34 When Computers Write Proofs, What's the Point of Mathematicians? 06:03 Motivation and State of the Art for the Lean Theorem Prover | Kevin Buzzard 1:18:08 Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura 09:41 Learn To Code Like a GENIUS and Not Waste Time 11:03 First Examples of Proof Terms in Coq 44:48 How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference 44:04 The story of mathematical proof – with John Stillwell 17:14 Programming with Proofs - Computerphile 13:19 The Biggest Project in Modern Mathematics 2:30:48 Java Tutorial for Beginners Similar videos 10:29 Metaprogramming in Lean 3 tutorial: video 1 08:05 Lean proof: ( A → ( B → C ) ) → ( A ∧ B → C ) 03:11 Triple Negation 08:16 Writing Math Proofs using Lean4 in Visual Studio Code 08:42 Logic in Lean, video 2 (true, false, not) 48:33 LftCM2020: Logic in Lean - Jeremy Avigad 1:07:27 Lean for the Curious Mathematician 2023 Basics 46:51 Lean Together 2021: Formalising matroids 58:21 Lean Together 2021: Generative Language Modeling for Automated Theorem Proving 11:54 Introductory Proof with Lean 4 - Natural Numbers 59:55 CAIS-23-03 | Professor Lawrence Paulson | Automated Theorem Proving: A Technology Roadmap More results