Public | Automated Build

Last pushed: 7 months ago
Short Description
Dockerized Coq Image
Full Description

docker-coq

Dockerized Coq image

Usage

docker pull stilesb/coq:latest
Docker Pull Command
Owner
stilesb
Source Repository

Comments (0)