solviofoundation/provio
Provio will be a step-by-step math proof checker
1 best points · 0 comments · 1 Hacker News post · 0 GitHub stars · View on GitHub
Hacker News discussions
- Math step-by-step proof checker in Node JavaScript (1 points, 0 comments, by dteiml, 2019-09-05)