AgentDish directory
Mathlib
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#1459
↑ +2
Fermat's Last Theorem in Lean 4
A Lean 4 repository containing a machine-checked proof of Fermat’s Last Theorem, with build verification details and browsable HTML documentation for the proof structure. |
Developer Tools / Formal Methods / Proof Verification | 81 | ↑ +2 | 6 days ago | Details |