GitHub repository: uwplse/coq-plugin-lib
Primary language: OCaml
Created: 2019-07-23T17:25:30Z
Description: Library of useful utility functions for Coq plugins