Proof system for teaching basic algebraalgebra.sympathyforthemachine.com4 points·lkurusa··0 commentsOpen articleSaveView on HN