Fermat's Last Theorem in Lean 4

111 points

by aaraujo002

15 hours ago

21 comments