/VyZX

Verifying the ZX Calculus

Primary LanguageCoqMIT LicenseMIT

VyZX

Verifying the ZX Calculus

Check out the paper on arxiv

Building VyZX

Works with Coq 8.16-8.18.

First, install QuantumLib through opam.

opam repo add coq-released https://coq.inria.fr/opam/released
opam update
opam install coq-quantumlib

Then install SQIR and VOQC

opam pin -y coq-sqir https://github.com/inQWIRE/SQIR.git
opam pin -y coq-voqc https://github.com/inQWIRE/SQIR.git

Finally, build VyZX:

make

Contributing

To contribute please make sure you use our validator hooks. To configure the hooks run (you should only need to do this once):

make hooks