Fermat's Last Theorem in Lean 4
El último teorema de Fermat probado en Lean 4.
anthropics/fermats-last-theorem
@anthropicsEstrellas
1081
Bifurcaciones
89
Lenguaje
Lean
Licencia
Apache-2.0
Último push
hace 7 días
El último teorema de Fermat probado en Lean 4.