3 days ago|discuss
user: happa
70 karma | created 7 years ago
recent submissions
23 days ago|discuss
23 days ago|discuss
3 months ago|discuss
4 months ago|discuss
5 months ago|discuss
6 months ago|discuss
7 months ago|discuss
8 months ago|discuss
8 months ago|discuss
8 months ago|discuss
9 months ago|discuss
1 year ago|discuss
1 year ago|discuss
The Fermat's Last Theorem Project
(leanprover-community.github.io)
75 pts|1 year ago|41 comments
5 years ago|discuss
6 years ago|discuss
6 years ago|discuss
6 years ago|discuss
6 years ago|discuss