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.0.tar.gz
sha256=0e699e10f520e94374cad72644a9cb82afbcafde71206926df7baccb03559dc3

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: 28 May 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