ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
LeanApache-2.0
Stargazers
- alexanderlhicks
- alreadydoneHeidelberg / Shenzhen
- amesgenGermany
- anandijainSan Jose CA, Boston MA
- benjzyq
- Blastzit
- bmorphism@plurigrid
- clarkzjwUniversity of Victoria
- CptBreezaChengdu
- dagurtomasReykjavik, Iceland
- EarlPittsBudapest
- faenuccioUniversité Jean-Monnet
- gok99Singapore
- HEIGE-PCloud@ImperialCollegeLondon
- jjaassoonnImperial College London
- JulianNew York, NY
- kex-yLausanne, Switzerland
- lab156
- marcomHamburg
- mo271Google Research
- mpenciakLurk Lab
- nesken7777
- niklasschmitzLausanne / Berlin
- peabrainiacBerlin, Germany
- Rida-HamadaniOOB Consulting
- rmlarose
- rosbornChicago, IL
- seewoo5CryptoLab
- Shawnecy
- shilangyuLausanne, Switzerland
- Smaug123@G-Research
- SnO2WMaNチルノのパーフェクトさんすう教室
- Thermotronica
- VladaSedlacek
- void4
- williamsteinCEO, SageMath, Inc.