Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mjub/coq-template
A set of sensible base files for my Coq projects
https://github.com/mjub/coq-template
coq coq-template devcontainer template vscode
Last synced: 9 days ago
JSON representation
A set of sensible base files for my Coq projects
- Host: GitHub
- URL: https://github.com/mjub/coq-template
- Owner: mjub
- Created: 2023-02-07T11:17:02.000Z (almost 2 years ago)
- Default Branch: primary
- Last Pushed: 2024-11-05T12:31:45.000Z (9 days ago)
- Last Synced: 2024-11-05T13:44:23.293Z (9 days ago)
- Topics: coq, coq-template, devcontainer, template, vscode
- Language: Makefile
- Homepage:
- Size: 9.77 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# [mjub/coq-template](https://github.com/mjub/coq-template)
A set of sensible base files for my [Coq](https://coq.inria.fr/) projects