Skip to content

Update coq-quantumlib.opam

ddd5a28
Select commit
Loading
Failed to load commit list.
Merged

Update QuantumLib to Coq 8.20 #50

Update coq-quantumlib.opam
ddd5a28
Select commit
Loading
Failed to load commit list.