Show HN: Basic algebra presented using a proof system(algebra.sympathyforthemachine.com)
algebra.sympathyforthemachine.com
Show HN: Basic algebra presented using a proof system
https://algebra.sympathyforthemachine.com/
0 comments
—
https://algebra.sympathyforthemachine.com/
—