Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/diohabara/coq-template

coq template
https://github.com/diohabara/coq-template

coq template

Last synced: 29 days ago
JSON representation

coq template

Awesome Lists containing this project

README

        

# coq-template

- [ ] Rewrite `meta.yml`
- [ ] Run this command to generate files

```sh
nix-shell -p mustache-go --run $TMP/generate.sh
```