/coq-plugin-template

Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]

Primary LanguageOCamlOtherNOASSERTION

Watchers