GitHub repository: proofengineering/coq-docker
Primary language: Roff
Created: 2018-01-09T06:04:37Z
Description: Dockerfiles with various versions of Coq