coq-community/templates

This is stars and forks stats for /coq-community/templates repository. As of 28 Apr, 2024 this repository has 11 stars and 8 forks.

Templates for Coq projects in coq-community and elsewhere This repository contains template files for use in generating configuration files and other boilerplate for coq-community (or external) Coq projects. All content in the repository is licensed under the Unlicense. Files ending in .mustache have values to fill in (and the .mustache extension should be removed from the resulting files). Filling in values is done automatically using a mustache command-line tool. There are many mustache implementations...