Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine

(github.com) by dicroce | Jul 9, 2026 | 0 comments on HN