A system of makefiles for building coq and the programs it requires.
Primary LanguageShell
No issues in this repository yet.