Show HN: Basic algebra presented using a proof system

algebra.sympathyforthemachine.com