⚠️ Under construction ⚠️ This website will be officialy launched with the first release of Rocq 9.0 in March 2025. Until then, there may remain broken links and references to not-yet existing projects.

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 (6)

Authors

I

inQWIRE

Maintainers

I

inQWIRE Developers

Sources

v1.6.0.tar.gz

sha256=fb4bf630a57a34f4b605a89afaee677baacf40ca1670547ba42904d3eb62c78c

Description

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

Published: 20 Jan 2025

Dependencies (2)

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

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts