Skip to main content

Quantomatic: A proof assistant for diagrammatic reasoning

Aleks Kissinger and Vladimir Zamdzhiev

Book Title
Proceedings of the 25th International Conference on Automated Deduction (CADE)
Year
2015