Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq
Repository Index
62,771 visible repositories in the index
1–1 of 1 · Most stars
62,771 visible repositories in the index
1–1 of 1 · Most stars
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]