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

GitHub Daily Trend - Podcast tekijän mukaan VoiceFeed - Keskiviikkoisin

kokeile Podimo ilmaiseksi 90!!! päivän ajan

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

 Sponsored

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