package coq-quantumlib

  1. Overview
  2. No Docs
Coq library for reasoning about quantum programs

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. I
    inQWIRE

Maintainers

  1. I
    inQWIRE Developers

Sources

v1.5.1.tar.gz
sha256=1a1586b95849e32121990d8663af08763f106f814f8aeca5e1bea705c12384de

Description

inQWIRE's QuantumLib is a Coq library for reasoning about quantum computation and quantum programs.

Tags

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

Published: 29 Jul 2024

Dependencies (2)

  1. coq >= "8.16" & < "8.20"
  2. dune >= "2.8"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None