You are viewing the staging branch of the website @ 58d46ed, not the live version.

package coq-quantumlib

Overview
Doc

You can search for identifiers within the package.

in-package search v0.2.0

Coq library for reasoning about quantum programs

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

I

inQWIRE

Maintainers

I

inQWIRE Developers

Sources

sha256=2917f55688a2b6edd31f582a9aaa0da9142bb3f7d874b344241be8f30c4fb4fd

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:2025-09-19 logpath:QuantumLib

Published: 14 Oct 2025

Dependencies (2)

coq >= "8.16" & < "8.21"
dune >= "2.8"

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts

None

On This Page

Description
Dependencies (2)
Dev Dependencies (1)
Used by
Conflicts