Skip to content

Commit

Permalink
Update README.md to reflect new version
Browse files Browse the repository at this point in the history
  • Loading branch information
@adrianleh
adrianleh authored Feb 4, 2024
1 parent 8a2def1 commit 1672944
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Verifying the ZX Calculus

## Building VyZX

Tested with Coq 8.14-8.16.
Works with Coq 8.16-8.18.

First, install [QuantumLib](https://github.com/inQWIRE/QuantumLib) through opam.

Expand Down

0 comments on commit 1672944

Please sign in to comment.