Skip to content

Latest commit

 

History

History
6 lines (5 loc) · 202 Bytes

README.md

File metadata and controls

6 lines (5 loc) · 202 Bytes

zx-project

This is a Quantomatic project which contains all of the ZX-calculus axioms and some useful theorems and simplification procedures. It also includes sample graphs and derivations.