Quantomatic: A Proof Assistant for Diagrammatic Reasoning.

Aleks Kissinger, Vladimir Zamdzhiev

Browse the full CADE paper archive.