GitHub repository: mattam82/Constructors
Primary language: OCaml
Description: Example Coq plugin