artagnon / docker-base Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/docker-base
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
Home Page: https://github.com/coq-community/docker-coq
License: BSD 3-Clause "New" or "Revised" License