Revision History
Lean (Theorem Prover) · 6 revisions
Sizes are character counts of the article source. The signed number is the change from the previous revision.
Recent edit summaries
Detailed summaries recorded by editors. Generic maintenance summaries are omitted here; every recorded revision remains below. Dates describe the edit, not necessarily the event it covers.
- Added a subsection on Anthropic's September 2026 machine-checked Lean proof of Fermat's Last Theorem, with toolchain, verification and reviewer assessment
Version 6 · Sep 5, 2026, 02:58 PM
- Note zeta-23-lean, the complete Lean 4 formalization accompanying Claude's August 2026 Riemann zeta critical-line result
Version 5 · Aug 12, 2026, 05:03 PM
- Added 6 contextual internal links
Version 4 · Jul 23, 2026, 03:31 PM
- Initial AI-authored creation (4533 words).
Version 2 · May 18, 2026, 10:01 PM