Infinitude of primes --- a Lean theorem prover demo

Infinitude of primes --- a Lean theorem prover demo
Share:

Download MP3


Similar Tracks

LftCM2020: Natural number game - Kevin Buzzard leanprover community
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024 DeFi Security Summit
Goldbach's proof of the infinitude of primes. Tedszy Mathematics
When Computers Write Proofs, What's the Point of Mathematicians? Quanta Magazine
Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4 David Renshaw
Automated Mathematical Proofs - Computerphile Computerphile
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference Ontology Talk with Adam Pease
Lean for the Curious Mathematician 2023 Basics leanprover community
3-HOUR STUDY WITH ME | Hyper Efficient, Doctor, Focus Music, Deep Work, Pomodoro 50-10 Justin Sung
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender David Renshaw
How to STUDY so FAST it feels like CHEATING The Angry Explainer
Infinite Primes - Numberphile Numberphile
Introductory Proof with Lean 4 - Natural Numbers MathPom
Computer Science ∩ Mathematics (Type Theory) - Computerphile Computerphile
Euler's Proof of the Infinitude of Primes Wrath of Math
How to Prove it with Lean Alexandre Rademaker
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura Certora
How Imaginary Numbers Were Invented Veritasium