Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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
- Host: GitHub
- URL: https://github.com/diohabara/coq-template
- Owner: diohabara
- Created: 2022-03-09T13:36:11.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2022-12-28T12:16:01.000Z (about 2 years ago)
- Last Synced: 2024-11-06T05:43:33.797Z (3 months ago)
- Topics: coq, template
- Homepage:
- Size: 10.7 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
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
```