coq-community/templates
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
MustacheUnlicense
Stargazers
- ana-borges
- anton-trunovhttps://tonstudio.io
- BlaisorbladeBedrock Systems Inc.
- chameco@GaloisInc
- ComFreek@KWARC
- dannypsnl@second-state
- diohabaraGovernment Pension Investment Fund
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- ichistmeinname@Cap3
- l3r8yJ@Objectionary
- motrellinErlangen
- TheoWinterhalterINRIA Saclay
- unsoundsystemJapan