GitHub repository: KatStark/example-plugin
Primary language: OCaml
Description: An example Coq plugin