/coq_base_dockerfile

Docker file for image to build Coq

Stargazers

No one’s star this repository yet.