Alkemet News
Fermat's Last Theorem in Lean 4 (github.com)

82 points

byaaraujo002

10 hours ago |

16 comments