-
Requirement: Coq 8.13.1, opam.
-
Install via opam
opam repo add coq-released https://coq.inria.fr/opam/released opam repo add coq-sflib -k git https://github.com/snu-sf/sf-opam-coq-archive.git opam repo add coq-promising -k git https://github.com/snu-sf/promising-opam-coq-archive.git#8.13 opam install coq-promising-lib
weakmemory / promising-lib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from snu-sf/promising-lib