Sympathy for the Machine: A lost tactical proof system

Learn
1

A few years ago, Edwin Zacharias published this beautiful “Tactical Proof System” (Sympathy for the Machine), written in Elm:

There also was an undocumented Hilbert Proof System application.

Unfortunately the original site has been down for a long time, and Edwin seems to be unreachable. It would be great not to lose this excellent work – it has been incredibly useful in teaching.

Would someone like to help me set it up again?

Or maybe knows Edwin so I can contact him?

2

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

3

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!

4

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