rocq-community / templatesLinks

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
13Updated 3 weeks ago

Alternatives and similar repositories for templates

Users that are interested in templates are comparing it to the libraries listed below

Sorting: