A few years ago, Edwin Zacharias published this beautiful “Tactical Proof System” (Sympathy for the Machine), written in Elm: [image] ezacharias/sftm Sympathy for the Machine. A logic game. Contribute to ezacharias/sftm development by creating an account on GitHub. …

There is an archived version of the original: https://web.archive.org/web/20190201000000*/algebra.sympathyforthemachine.com/

I tried out the archived version. It’s a pretty cool way to teach algebra. I can’t help you set it up or contact Edwin but thanks for linking this!

you’re welcome! Let’s see if someone sees this who might be able to help out.

Sympathy for the Machine: A lost tactical proof system

Topic		Replies	Views
I made a machine Show and Tell	0	1221	October 13, 2018
Revive deleted code of Elm packages Request Feedback	26	2130	February 13, 2023
Sim - A Delightful Language for Circuit Design Request Feedback	19	1859	May 11, 2020
Where is Elm going; where is Evan going Request Feedback	160	13117	February 20, 2024
Is Elm a great language for AI to code in? Learn	20	770	March 16, 2026