Infinitude of primes --- a Lean theorem prover demo
The completed proof is at https://leanprover.zulipchat.com/#nar... Speaker: Scott Morrison
▶︎
LftCM2020: Natural number game - Kevin Buzzard
▶︎
How Mathematicians can Get Started with Lean
▶︎
Automated Mathematical Proofs - Computerphile
▶︎
Is This the End of Handwritten Math? Introducing Lean
▶︎
Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4
▶︎
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
▶︎
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
▶︎
If Prime Numbers Become Increasingly Rare, Then Why Do They Keep Showing Up In Pairs?
▶︎
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference
▶︎
A Sensible Introduction to Category Theory
▶︎
When Computers Write Proofs, What's the Point of Mathematicians?
▶︎
The SpaceX IPO... It's Worse Than You Think
▶︎
Type Theory for the Working Rustacean - Dan Pittman
▶︎
Introductory Proof with Lean 4 - Natural Numbers
▶︎
The Future of Mathematics?
▶︎
Interactive Theorem Proving, Guest Lecture - Introduction to Agda, by Jeremy Siek
▶︎
Kevin Buzzard - Where is Mathematics Going? (September 24, 2025)
▶︎
The Greatest Unsolved Problem In Mathematics
▶︎
Lecture 1 | A survey of automated theorem proving | John Harrison | Лекториум
▶︎