/coq-plugin-utils

Useful utility functions for writing Coq plugins

Primary LanguageOCamlMIT LicenseMIT

Watchers