GitHub / coq / rocq-prover.org
The Rocq Prover Website
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Frocq-prover.org
Stars: 10
Forks: 15
Open issues: 28
License: other
Language: HTML
Size: 240 MB
Dependencies parsed at:
15
Created at: 6 months ago
Updated at: 3 months ago
Pushed at: 3 months ago
Last synced at: 3 months ago
.github/workflows/ci.yml
actions
- actions/checkout v4 composite
- ocaml/setup-ocaml v3 composite
.github/workflows/debug-ci.yml
actions
- actions/checkout v4 composite
- ocaml/setup-ocaml v3 composite
- actions/checkout v3 composite
- ad-m/github-push-action v0.6.0 composite
.github/workflows/linkcheck.yml
actions
- actions/checkout v4 composite
- ocaml/setup-ocaml v3 composite
- peter-evans/create-pull-request v7 composite
.github/workflows/scrape.yml
actions
- actions/checkout v4 composite
- ocaml/setup-ocaml v3 composite
- peter-evans/create-pull-request v7 composite
.devcontainer/Dockerfile
docker
- ocaml/opam debian-ocaml-5.2 build
Dockerfile
docker
- alpine 3.20 build
- ocaml/opam alpine-3.20-ocaml-5.2 build