asinum / templates Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/templates
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
License: The Unlicense