QuantumLib

Coq library for reasoning about quantum programs

GitHub

28 stars
5 watching
10 forks
Language: Coq
last commit: about 1 month ago