Fermat's Last Theorem in Lean 4

  • Posted 9 hours ago by aaraujo002
  • 75 points
https://github.com/anthropics/fermats-last-theorem

6 comments

    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..