1 search result for "tag:"keyword:qwire""

Showing 1 - 1

coq-quantumlib

No documentation

Coq library for reasoning about quantum programs

keyword:quantum keyword:qwire keyword:sqir keyword:matrices keyword:vectors keyword:linear algebra keyword:complex numbers category:Mathematics/Algebra category:Mathematics/Real Calculus and Topology date:2025-09-19 logpath:QuantumLib

inQWIRE

1.8.0

MIT

Used by 0 other packages

14 Oct 2025