← All creators
J

Joel David Hamkins

6 recommendations

Products they use or recommend

Substack MathOverflow LaTeX
Show: All 6 | uses recommends mentions created

Showing 1 of 6 recommendations

Clear filters
Lean mentions software
"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