#

docker-coq

Here are 3 public repositories matching this topic...

coq-community / docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

dockerfile ci docker-image coq opam docker-coq

Updated Dec 13, 2024
Dockerfile

coq-community / docker-base

Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]

coq docker-coq

Updated Nov 27, 2024
Dockerfile

erikmd / docker-coq-travis-ci-demo-2

Docker-Coq + Travis CI demo 2

dockerfile travis-ci ci coq docker-coq

Updated Mar 20, 2020
Dockerfile

Improve this page

Add a description, image, and links to the docker-coq topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the docker-coq topic, visit your repo's landing page and select "manage topics."