docker-coq topic
List
docker-coq repositories
docker-coq
36
Stars
3
Forks
Watchers
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
