-
Requirement: Coq 8.9.1, opam.
-
Install via opam
opam repo add coq-released https://coq.inria.fr/opam/released opam remote add coq-promising -k git https://github.com/snu-sf/promising-opam-coq-archive opam install coq-promising-lib
Requirement: Coq 8.9.1, opam.
Install via opam
opam repo add coq-released https://coq.inria.fr/opam/released
opam remote add coq-promising -k git https://github.com/snu-sf/promising-opam-coq-archive
opam install coq-promising-lib