/coq-builder

A system of makefiles for building coq and the programs it requires.

Primary LanguageShell

coq-builder

A system of makefiles for building coq and the programs it requires.