GitHub topics: docker-coq
rocq-community/docker-base
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
Language: Dockerfile - Size: 277 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 4
rocq-community/docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
Language: Shell - Size: 266 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 37 - Forks: 3
erikmd/docker-keeper
Mirror of https://gitlab.com/erikmd/docker-keeper: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch GitLab repository.
Language: Python - Size: 328 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
rocq-community/docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
Language: Shell - Size: 275 KB - Last synced at: 27 days ago - Pushed at: 3 months ago - Stars: 13 - Forks: 4
erikmd/docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup
Language: Coq - Size: 99.6 KB - Last synced at: 8 months ago - Pushed at: 11 months ago - Stars: 6 - Forks: 1
appliedfm/docker-coq-vst
Docker images of the Coq proof assistant with compcert and VST pre-installed
Language: Shell - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
erikmd/docker-coq-travis-ci-demo-2
Docker-Coq + Travis CI demo 2
Language: Dockerfile - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
erikmd/docker-coq-travis-ci-demo-1
Docker-Coq + Travis CI demo 1
Language: Coq - Size: 10.7 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 1