/QuantumLib

Coq library for reasoning about quantum programs

Primary LanguageCoqOtherNOASSERTION

Watchers