Update README.md - Githubissues

inQWIRE / QuantumLib

Coq library for reasoning about quantum programs

Other

32 stars 10 forks source link

Closed caldwellb closed 1 year ago

caldwellb commented 1 year ago

The README.md installation instructions don't point to the official released version of QuantumLib, just the development version.