23 days ago|discuss
user: viscousviolin
152 karma | created 3 years ago
recent submissions
23 days ago|discuss
23 days ago|discuss
23 days ago|discuss
1 month ago|discuss
Introduction to Formal Real Analysis
(alexkontorovich.github.io)
1 pts|1 month ago|1 comment
1 month ago|discuss
1 month ago|discuss
1 month ago|discuss
Lean Game Server
(adam.math.hhu.de)
2 pts|1 month ago|discuss
Linear Algebra Game
(adam.math.hhu.de)
2 pts|1 month ago|discuss
185 pts|1 month ago|180 comments
1 month ago|discuss
3 months ago|discuss
3 months ago|discuss
6 months ago|discuss
9 months ago|discuss
Enumerating All Fractions
(math.stackexchange.com)
2 pts|10 months ago|discuss
Second Godot Engine Newsletter
(godot.news)
3 pts|1 year ago|discuss
1 year ago|discuss