/coq-builder

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

Primary LanguageShell

Stargazers