Heisenberg-Foundations

The basics of the Heisenberg representation of quantum computing

Important files:

Heisenberg.v: Contains the semantics grounded in math/linear algebra

Types.v: Contains a more elegant symbolic semantics, along with translations to the mathematical semantics

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
Complex.v		Complex.v
CoqMakefile		CoqMakefile
Eigenvectors.v		Eigenvectors.v
Heisenberg.v		Heisenberg.v
Makefile		Makefile
Matrix.v		Matrix.v
Monad.v		Monad.v
Monoid.v		Monoid.v
Polynomial.v		Polynomial.v
Prelim.v		Prelim.v
Programs.v		Programs.v
Quantum.v		Quantum.v
README.md		README.md
RealAux.v		RealAux.v
Types.v		Types.v
_CoqProject		_CoqProject

inQWIRE/Heisenberg-Logic