1 search result for "tag:"logpath:QuantumLib""

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:2025-01-18 logpath:QuantumLib
    inQWIRE
    1.7.0
    MIT
    Used by 0 other packages
    29 Jul 2025