Example project setup for Coq that supports git submodule dependencies
Primary LanguagePythonMIT LicenseMIT