A critical look at Lean4 — LessWrong by Milo Moses9th Oct 202610 min read22 lesswrong.com 2026-10-09 partial read 2026-10-11 2,409 words original edit note Logged as a partial read without notes.