gricad-gitlab.univ-grenoble-alpes.fr / certicompil / velus
Stars: 0
Forks: 0
Open issues:
License: other
Language:
Dependencies parsed at:
4
Created at: over 4 years ago
Updated at: about 4 years ago
Last synced at: 7 months ago
.github/workflows/build.yml
actions
- actions/checkout v2 composite
- coq-community/docker-coq-action v1 composite
.github/workflows/velus.yml
actions
- actions/checkout v2 composite
- snickerbockers/submodules-init v4 composite