/coq-plugin-lib

Library of useful utility functions for Coq plugins

Primary LanguageOCamlMIT LicenseMIT

Stargazers