Fermat's Last Theorem in Lean 4

6 points | by aaraujo002 an hour ago

2 comments