Writing

Notes & ideas

Technical notes, research reflections, and occasional personal writing. Subscribe via RSS ↗

26 October 2026Mathematics · Formal verification · Lean · Autoformalization · Epistemology · Philosophy of mathematics

What Does a Machine-Checked Proof Actually Verify?

Limits of Formal Verification and Autoformalization