Math step-by-step proof checker in Node JavaScript | Hacker News Reader