search

inQWIRE / QuantumLib

Coq library for reasoning about quantum programs
Other
32 stars 10 forks source link

fix for Coq v8.18 compatibility #39

Closed YoungchanCho closed 10 months ago

YoungchanCho commented 10 months ago

fix for Coq v8.18 compatibility

CI test passes for 8.16, 8.17, 8.18

Might want to change the branch name.