Hacker News new | past | comments | ask | show | jobs | submit | 363849473754's submissions login

1. Mathematicians Discuss the Practicality of Lean (reddit.com) 3 points by 363849473754 on July 11, 2022 | past 2. Overloaded Terminology in Mathematics (reddit.com) 2 points by 363849473754 on Sept 17, 2021 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: