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

GitHub Daily Trend - A podcast by VoiceFeed

Try Bookbeat 60! days for free, click here

Enjoy a whole world of audiobooks and e-books, everything from new releases to the classics

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