Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
Home Page:https://hub.docker.com/r/coqorg/coq/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool