search

aa755 / paramcoq-iff

6 stars 1 forks source link

Add opam installation support #10

Closed wilbowma closed 7 years ago

wilbowma commented 7 years ago

Depends on https://github.com/aa755/template-coq/pull/1 and https://github.com/aa755/SquiggleEq/pull/2

aa755 commented 7 years ago

Thanks. In case you are using a more recent version of Coq, in this repo, I now have branches (proof86 and minRelTest) that respectively compile with 8.6 and trunk versions of Coq.