issues
search
inQWIRE
/
QuantumLib
Coq library for reasoning about quantum programs
Other
32
stars
10
forks
source link
Fta
#13
Closed
jakezweifler
closed
2 years ago