Useful utility functions for writing Coq plugins
Make sure you added the Coq repository:
opam repo add coq-released https://coq.inria.fr/opam/released
and run:
opam install coq-plugin-utils
Useful utility functions for writing Coq plugins
Make sure you added the Coq repository:
opam repo add coq-released https://coq.inria.fr/opam/released
and run:
opam install coq-plugin-utils