mastodon — José A. Alonso — 1 Oct 2026
What did the Lean proof of Fermat's Last Theorem formalize? ~ Justin Asher. https://justinasher.me/what-did-the-lean…
#interactive-theorem-proving #mathematical-verification #proof-formalization
What did the Lean proof of Fermat's Last Theorem formalize? ~ Justin Asher. https://justinasher.me/what-did-the-lean-proof-of-flt-formalize #LeanProver #ITP #AI4Math