Stepping into math: Open-sourcing our step-by-step solver554 points by shreyansRead the articleDiscussion on Hacker News