Mathematicians Discuss the Practicality of Lean | Hacker News Reader