Public | Automated Build

Last pushed: a year ago
Short Description
okuisatoshi/docker_coq_ssr + Japanese language environment
Full Description

See the description of okuisatoshi/docker_coq_ssr.

Docker Pull Command
Owner
okuisatoshi
Source Repository