docker-coq

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

docker-image

View on GitHub Website

40 Stars

4 Forks

5 Watchers

Shell Language

bsd-3-clause License

86.3 SrcLog Score

Cost to Build

$11.2K

Market Value

$16.6K

How is this calculated?

Growth over time

12 data points · 2021-08-01 → 2026-10-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about docker-coq

Question copied to clipboard

What is the rocq-community/docker-coq GitHub project? Description: "Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]". Written in Shell. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone docker-coq

Clone via HTTPS

git clone https://github.com/rocq-community/docker-coq.git

Clone via SSH

[email protected]:rocq-community/docker-coq.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the docker-coq issue tracker:

Open GitHub Issues

Similar to docker-coq

wekan awesome-docker portainer docker-gitlab deepo verdaccio flannel docker-node dragonfly-archived docker-ipsec-vpn-server cameradar container-openldap nginx-php-fpm elk-docker Deep-Learning-Boot-Camp minideb dockviz docker-redmine uwsgi-nginx-flask-docker docker docker-ubuntu-vnc-desktop flux Dockerfile dockerfiles-windows docker-alpine jekyll-docker phpqa docker-redis-cluster docker-bind docker-sonarqube