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

Authors

I

inQWIRE

Maintainers

I

inQWIRE Developers

Sources

sha256=fabf687f14d1d730907c7b9c3acf57ca9697713a1d0da37fc62232f05a1538e5

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-01-18 logpath:QuantumLib

Published: 29 Jul 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