docker-coq

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

docker-image

View on GitHub Website

37 Stars

3 Forks

37 Watchers

Shell Language

bsd-3-clause License

Cost to Build

$10.7K

Market Value

$19.6K

How is this calculated?

Growth over time

7 data points · 2021-08-01 → 2025-06-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) [maintainers=@erikmd,@himito]". 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 docker-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