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

GitHub Daily Trend - Un podcast de VoiceFeed - Les lundis

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

Visit the podcast's native language site