https://github.com/metarocq/tutorials
https://github.com/metarocq/tutorials
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/metarocq/tutorials
- Owner: MetaRocq
- License: mit
- Created: 2024-01-13T08:55:16.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-12-13T08:52:50.000Z (over 1 year ago)
- Last Synced: 2025-04-07T06:35:43.791Z (about 1 year ago)
- Language: Coq
- Size: 1.19 MB
- Stars: 3
- Watchers: 6
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
## More informations
See [here](https://popl24.sigplan.org/details/POPL-2024-tutorialfest/8/MetaCoq-Tutorial).
## Installation instructions
Participants should install the `coq-metacoq-template` package via `opam`.
If you do not have Coq installed yet, we recommend using the [Coq platform](https://coq.inria.fr/download) to install.
If you do not already have an editor for Coq installed, we recommend using [VSCode](https://code.visualstudio.com/) with the [VSCoq legacy plugin](https://marketplace.visualstudio.com/items?itemName=coq-community.vscoq1).
See also MetaCoq's [installation instructions](https://github.com/MetaCoq/metacoq/blob/main/INSTALL.md). If you have trouble installing, you can ask questions on MetaCoq's [Zulip channel](https://coq.zulipchat.com/#narrow/stream/237658-MetaCoq/).