Tag
Wyrm is an open-source symbolic algebra engine in TypeScript that powers a gesture-based algebra app for iOS and Android. It guarantees soundness by construction through conditional rewrite rules, allowing users to solve equations by touch.