GitHub repository: riccardobrasca/flt3
Primary language: Lean
Created: 2024-03-22T09:16:45Z
Description: Proof in Lean of Fermat Last Theorem for exponent 3