Fermat's Last Theorem in Lean 4

82 points

by aaraujo002

9 hours ago

15 comments