HN
Hacker News
Top
New
Best
Ask
Show
Jobs
363849473754
51 karma · joined June 19, 2021
submissions
comments
Mathematicians Discuss the Practicality of Lean
old.reddit.com
·
3 pts
·
363849473754
·
0
Overloaded Terminology in Mathematics
reddit.com
·
2 pts
·
363849473754
·
0