GitHub repository: rocq-community/docker-base
Primary language: Dockerfile
Description: Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]