package coq-quantumlib

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

Install

Dune Dependency

Authors

Maintainers

Sources

v1.3.0.tar.gz
sha256=770a7ec9dfe67adfa7690107173c79144a72382e6ad3e4067f41b18f14fe72c1

Description

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

Dependencies (2)

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

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None