Infinitude of primes --- a Lean theorem prover demo

LftCM2020: Natural number game - Kevin Buzzard

The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006

Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024

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

Automated Mathematical Proofs - Computerphile

The First Real Application of Category Theory #SoME3

Когда компьютеры пишут доказательства, какой смысл в математиках?

All of MATHEMATICAL PROOFS explained in 11 Minutes

Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender

🧪🧪🧪🧪Как увидеть гиперпространство (4-е измерение)

How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman

Percolation: a Mathematical Phase Transition

Черное море скоро ВСЁ?

Interactive Theorem Proving, Guest Lecture - Introduction to Agda, by Jeremy Siek

Почему простые числа образуют эти спирали? | Теорема Дирихле и пи-аппроксимации

Lecture 1: Predicates, Sets, and Proofs

Обучение программированию по методологии Lean 4 с другом: начало

What are the prospects for automatic theorem proving?

A Sensible Introduction to Category Theory

How to learn Lean programming language | Terence Tao and Lex Fridman