inQWIRE / QuantumLib

Coq library for reasoning about quantum programs
32Updated last week

Related projects

Alternatives and complementary repositories for QuantumLib