Math step-by-step proof checker in Node JavaScript
github.com