4.0.0

Matafou released this 06 Oct 14:34

· 18 commits to master since this release

ded4728

This is the first release of rocq-libhyps, adapted from coq-libhyps (which is now only for coq < 9 version and will not be developped anymore).

Assets 2