Skip to content

First release compatible at least with coq v8.9 and v8.10
Compare
Choose a tag to compare
@Matafou Matafou released this 27 Jun 08:56
· 66 commits to master since this release
libhyps-1.0.0
d364bd6

First release of LibHyps in the form of an opam package.

Assets 2
Loading