Verified record · from the answer index
Docker-Coq Action
librarytested · static-verifiedscore 43/100signed passport ✓
GitHub Action using Docker-Coq
Declared tools (1)
rocq-prover/docker-opam-action
lib:action:rocq-prover/docker-opam-action · published by rocq-prover · source repository