Best 1 Docker Coq Open Source Projects

Docker Coq

Docker images of the Coq proof assistant (see also: https://github.com/c...