GitHub repository: ybertot/plugin_tutorials
Primary language: OCaml
Created: 2018-05-01T19:37:30Z
Description: A collection of small projects to illustrate how to write plugins for Coq