Add support for Coq 8.13
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
Fixes #42 (closed).
Remove the michocott
compilation target from the opam package.
TODO:
michocott
folder to its own repo.