templates
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
13 stars
7 watching
8 forks
Language: Mustache
last commit: 16 days ago
Linked from 1 awesome list
continuous-integrationcoqmustache-templates