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.4.0.tar.gz
sha256=a00f52fc87f749466cf2e1a4e0cf567748b13d574e797f41fbb973917ebe2fe1

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

Published: 22 Mar 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