sf-opam-coq-archive

Libraries

• coq-sflib (https://github.com/snu-sf/sflib/)
• coq-ordinal (https://github.com/minkiminki/Ordinal)
• coq-paco (https://github.com/snu-sf/paco/)
• coq-ext-lib (https://github.com/snu-sf/coq-ext-lib/)
• coq-itree (https://github.com/DeepSpec/InteractionTrees/)

Installation

opam remote add coq-sf -k git --rank=1 https://github.com/snu-sf/sf-opam-coq-archive
opam install [LIB]    # ex) opam install coq-sflib