Template for Coq plugins
Get up and running in a few simple steps:
-
Fork this repository.
-
Choose a name for your plugin, e.g. "awesome_plugin".
-
Rename
src/name_plugin.ml4
into the name of your plugin. -
Run
git grep FIXME
and replace "name" with your plugin name in each place. -
Update the
_CoqProject
file to reflect your name. -
Run
make
and check outtest-suite/demo.v
-
Update the LICENSE file by completing the line for your copyright claim or add your own license statement if you don't want to use MIT.
All done.