1.rocq-community / templatesTemplates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]coqmustache-templatescontinuous-integrationMustacheUNLICENSE18 total11 forks+1 starsfrom 17 · score 0.69