Speedith: A Diagrammatic Reasoner for Spider Diagrams.

Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower

Browse the full DIAGRAMS paper archive.