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

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:2024-05-27 logpath:QuantumLib

inQWIRE

1.5.1

MIT

Used by 0 other packages

29 Jul 2024