1 pts| 7 months ago | discuss
lying4fun's submissions
Visualizing Homotopy Groups [video]
(youtube.com)
1 pts| 8 months ago | discuss
4D Golf Devlog – Making Models in 4 Dimensions [video]
(youtube.com)
3 pts| 2 years ago | 1 comment
Natural Number Game for Lean 4
(adam.math.hhu.de)
3 pts| 2 years ago | 1 comment
United Visual Artists (UVA)
(uva.co.uk)
1 pts| 2 years ago | discuss
2 pts| 2 years ago | discuss
page 1