Fermat's Last Theorem in Lean 4
Le dernier théorème de Fermat prouvé dans Lean 4.
anthropics/fermats-last-theorem
@anthropicsÉtoiles
1 040
Bifurcations
86
Langage
Lean
Licence
Apache-2.0
Dernier push
il y a 7 jours
Le dernier théorème de Fermat prouvé dans Lean 4.