Fermat's Last Theorem in Lean 4
O último teorema de Fermat provado em Lean 4.
anthropics/fermats-last-theorem
@anthropicsEstrelas
1.081
Bifurcações
89
Linguagem
Lean
Licença
Apache-2.0
Último push
há 7 dias
O último teorema de Fermat provado em Lean 4.