Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Quantum
  4. Quantomatic: A proof assistant for diagrammatic reasoning

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

Links

See Also

Back to Top