← Back
Lean

Lean

software Endorsed by 1 creator Visit website →

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

Endorsed by

Karina Hong

Topics

math theorem proving programming language programming mathematics verification proofs formal verification

Used by

These creators have mentioned using this product

Karina Hong uses
"We use this language Lean which is program for proofs"
AI vs Dog Cancer, Zito From Apollo Tells All, Tyler Cowen WANTS YOU to Lock I... · ▶ 2:48:54 · Mar 2026

Also mentioned (2)

Casual references without a clear endorsement
Sebastian Raschka mentioned "language models plus Lean for math" ▶ 3:14:27
Joel David Hamkins mentioned "sometimes it actually involves now more and more something like the Lean programming language whe..." ▶ 3:16:52