A plugin for Coq to output values to text-files.
Primary LanguageOCaml
No issues in this repository yet.