docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
How to download and setup docker-coq
Open terminal and run command
git clone https://github.com/coq-community/docker-coq.git
git clone is used to create a copy or clone of docker-coq repositories.
You pass git clone a repository URL. it supports a few different network protocols and corresponding URL formats.
Also you may download zip file with docker-coq https://github.com/coq-community/docker-coq/archive/master.zip
Or simply clone docker-coq with SSH
[email protected]:coq-community/docker-coq.git
If you have some problems with docker-coq
You may open issue on docker-coq support forum (system) here: https://github.com/coq-community/docker-coq/issuesSimilar to docker-coq repositories
Here you may see docker-coq alternatives and analogs
awesome-docker docker-gitlab portainer wekan deepo verdaccio flannel docker-node Dragonfly 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