coq-plugin-template

Template for Coq plugins

Use

Get up and running in a few simple steps:

1. Fork this repository.

2. Choose a name for your plugin, e.g. "awesome_plugin".

3. Rename src/name_plugin.ml4 into the name of your plugin.

4. Run git grep FIXME and replace "name" with your plugin name in each place.

5. Update the _CoqProject file to reflect your name.

6. Run make and check out test-suite/demo.v

7. 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.