3 days ago|discuss
user: saithound
1758 karma | created 6 years ago
recent submissions
6 days ago|discuss
12 days ago|discuss
17 days ago|discuss
18 days ago|discuss
19 days ago|discuss
Some Junk Theorems in Lean
(github.com)
91 pts|2 months ago|61 comments
2 months ago|discuss
2 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss