Skip to content

Add support for Coq 8.13

Guillaume Claret requested to merge add-support-for-coq-8.13 into dev

Fixes #42 (closed).

Remove the michocott compilation target from the opam package.

TODO:

  • move the michocott folder to its own repo.
Edited by Guillaume Claret

Merge request reports