Proof in Lean of Fermat Last Theorem for exponent 3
Primary LanguageLeanApache License 2.0Apache-2.0
