Signin

Infinitude of primes --- a Lean theorem prover demo

leanprover community • October 7, 2020

Video Thumbnail

You May Also Like

Video Thumbnail

LftCM2020: Natural number game - Kevin Buzzard

leanprover community

Video Thumbnail

Automated Mathematical Proofs - Computerphile

Computerphile

Video Thumbnail

Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4

David Renshaw

Video Thumbnail

The Future of Mathematics?

Microsoft Research

Video Thumbnail

When Computers Write Proofs, What's the Point of Mathematicians?

Quanta Magazine

Video Thumbnail

Let's code math | Lean4 | Theorem prover

Splience

Video Thumbnail

How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference

Ontology Talk with Adam Pease

Video Thumbnail

Sagredo: automated dialogue between GPT and Lean.

leanprover community

Video Thumbnail

Terence Tao at IMO 2024: AI and Mathematics

AIMO Prize

Video Thumbnail

(char)0 = 0; - What Does the C++ Programmer Intend With This Code? - JF Bastien - C++ on Sea 2023

cpponsea

Video Thumbnail

Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura

Certora

Video Thumbnail

What are the prospects for automatic theorem proving?

Microsoft Research

Video Thumbnail

Math Proves God!

Bryan Callen

Video Thumbnail

Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL

leanprover community

Video Thumbnail

Math's Fundamental Flaw

Veritasium

Video Thumbnail

Terence Tao, "Machine Assisted Proof"

Joint Mathematics Meetings

Video Thumbnail

Automated Theorem Proving and Axiomatic Mathematics

Wolfram

Video Thumbnail

Gödel's Incompleteness Theorem - Numberphile

Numberphile

Video Thumbnail

What P vs NP is actually about

Polylog

Video Thumbnail

Introductory Proof with Lean 4 - Natural Numbers

MathPom

leanprover community

About

No channel description available.

Latest Posts

Video Thumbnail

Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover

leanprover community

Video Thumbnail

Infinitude of primes --- a Lean theorem prover demo

leanprover community

Video Thumbnail

LftCM2020: Mathematics in Lean introduction - Patrick Massot

leanprover community

Video Thumbnail

Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean

leanprover community