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
The Future of Mathematics? Microsoft Research
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference Ontology Talk with Adam Pease
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender David Renshaw
Automated Mathematical Proofs - Computerphile Computerphile
The Oldest Unsolved Problem in Math Veritasium
Lean for the Curious Mathematician 2023 Kaiyu Yang, Theorem Proving via Machine Learning leanprover community
Interactive Theorem Proving, Guest Lecture - Introduction to Agda, by Jeremy Siek David Broman
Let's code math | Lean4 | Theorem prover Splience
How to Prove it with Lean Alexandre Rademaker
What are the prospects for automatic theorem proving? Microsoft Research
Terence Tao, "Machine Assisted Proof" Joint Mathematics Meetings
Twitch: Proving things using Agda! Brian McKenna
When Computers Write Proofs, What's the Point of Mathematicians? Quanta Magazine
Lecture 1 | A survey of automated theorem proving | John Harrison | Лекториум Лекториум
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura Media ​Certora
Math's Fundamental Flaw Veritasium
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models, Kaiyu Yang et al. - Stanford Brando Miranda
Music for Work — Deep Focus Mix for Programming, Coding Chill Music Lab
Think Fast, Talk Smart: Communication Techniques Stanford Graduate School of Business