Technology
Lean
A functional programming language and interactive theorem prover in which the computer checks every logical step.
1
mention in the archive
0
central to an episode
1
episode with a mention
1
fragment with a timecode
Nov 2026
first mention
Nov 2026
peak · 1 in a month
67
links to other entries
Fragments
1 fragment · click to open in the player
29:2642:28
#194 · 11 Nov 2026
What Is Going On with AI? The NVIDIA Scandal, OpenAI at $1.25 Trillion and a Market Crash
The company reported formalizing roughly seven and a half thousand pages of the Stacks Project in Lean, a system that checks the logical steps of proofs.