Fermat's Last Theorem in Lean 4
Teorema Terakhir Fermat terbukti dalam Lean 4.
anthropics/fermats-last-theorem
@anthropicsBintang
1.040
Fork
86
Bahasa
Lean
Lisensi
Apache-2.0
Push terakhir
7 hari yang lalu
Teorema Terakhir Fermat terbukti dalam Lean 4.