← Back

Lean

software 2 mentions from 2 sources Visit website →

A modern theorem prover and programming language designed for mathematical reasoning and formal verification.

programming math mathematics programming language verification theorem proving
2

sources

Mentioned by

Sebastian Raschka Joel David Hamkins

All mentions

Sebastian Raschka mentioned ✓ High confidence
"language models plus Lean for math"
From: State of AI in 2026: LLMs, Coding, Scaling Laws, China, Agents, GPUs, AGI | Lex Fridman Podcast #490 • ▶ 3:14:27 • Jan 2026

Attribution: Sebastian mentions Lean as part of mathematical AI research

Joel David Hamkins mentioned ✓ High confidence
"sometimes it actually involves now more and more something like the Lean programming language where some parts are automated"
From: Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488 • ▶ 3:16:52 • Dec 2025

Attribution: Joel David Hamkins mentions Lean in the context of automated theorem proving in mathematics