Pemilik · ImperialCollegeLondon

ImperialCollegeLondon

Repositori open source terpantau milik ImperialCollegeLondon, diurutkan berdasarkan bintang.

1 repositori

#1
FLT ↗@ImperialCollegeLondonLean
Formalisasi Lean yang sedang berlangsung untuk pembuktian Teorema Terakhir Fermat.
★ 1.023+9Perubahan bintang dalam 7 hari terakhir