FLT

★ 0 updated 10mo ago ⑂ fork

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

No plain-English explanation yet — one is being written right now. Check back in a minute.