Rare find

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

github.com/ImperialCollegeLondon/FLT
by @ImperialCollegeLondon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.