GitHub - ImperialCollegeLondon/FLT: Ongoing Lean formalisation of the proof of Fermat's Last Theorem

GitHub Daily Trend - A podcast by VoiceFeed

https://github.com/ImperialCollegeLondon/FLT Ongoing Lean formalisation of the proof of Fermat's Last Theorem - ImperialCollegeLondon/FLT