ImperialCollegeLondon/FLT
@ImperialCollegeLondonFormalisasi Lean yang sedang berlangsung untuk pembuktian Teorema Terakhir Fermat.
Bintang
1.023
Fork
167
Bahasa
Lean
Lisensi
Apache-2.0
Push terakhir
2 hari yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.