Computer Laboratory - Matej Urbas

Speedith

...an interactive theorem prover for spider diagrams.

Speedith's sources are available online as a Git repository:

https://github.com/urbas/speedith