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