The Fermat's Last Theorem Project

 (leanprover-community.github.io)

75 points | by happa 16 days ago

41 comments