HN Explorer

363849473754

↗ HN profile [ 59.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Mathematicians Discuss the Practicality of Lean (old.reddit.com)
    3 points 0
  2. Overloaded Terminology in Mathematics (reddit.com)
    2 points 0