Public | Automated Build

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

docker-coq

A Dockerized Coq image

Usage

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

Comments (0)