Hacker News new | ask | show | jobs
Mathematicians Discuss the Practicality of Lean (old.reddit.com)
3 points by 363849473754 1435 days ago