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

GitHub Daily Trend - Een podcast door VoiceFeed - Maandagen

Probeer Podimo de eerste 30! dagen gratis

Luister 30 dagen gratis naar exclusieve podcasts en duizenden luisterboeken

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