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

Showing 1 - 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