Flt3

Proof in Lean of Fermat Last Theorem for exponent 3

<a href='https://codespaces.new/riccardobrasca/flt3' target="_blank" rel="noreferrer noopener"><img src='https://github.com/codespaces/badge.svg' alt='Open in GitHub Codespaces' style='max-width: 100%;'></a>