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
Trends
Lean in the author's trends
all 20 thoughts →A link is an episode of the thought where Lean is central or discussed in depth, or an author's quote that names it. The bar counts the shared episodes; blue bars are the months they meet on the June 2024 — November 2026 scale.
No links to the trends found
Lean is never central or discussed in depth in the episodes of the author's 20 thoughts, and the author's quotes don't mention the name.