README.md

HTT

View all examples here.

Requirements

• Coq (>= "8.9.0" & < "8.12~")
• Mathematical Components ssreflect (>= "1.10.0" & < "1.11~")
• FCSL PCM library (>= "1.0.0" & < "1.3~")
• HTT
• SSL-HTT

Build and Install

We recommend installing with OPAM:

opam repo add coq-released https://coq.inria.fr/opam/released
opam pin add coq-htt git+https://github.com/TyGuS/htt\#master --no-action --yes
opam pin add coq-ssl-htt git+https://github.com/TyGuS/ssl-htt\#master --no-action --yes
opam install coq coq-mathcomp-ssreflect coq-fcsl-pcm coq-htt coq-ssl-htt