GitHub repository: rocq-community/docker-rocq
Primary language: Dockerfile
Description: Docker images of the Rocq Prover (see also: https://github.com/rocq-community/docker-coq-action) [maintainers=@erikmd,@himito]