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.1.0.tar.gz
sha256=d13100705487403119e4675d8645a1018ec37f48d366c16cf1d0c1cdd7ee6e90

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:2022-07-31 logpath:QuantumLib

Published: 02 Aug 2022

Dependencies (2)

  1. coq >= "8.12"
  2. dune >= "2.8"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None