Zum Inhalt springen

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

Comments

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert