tyabu/coqide repository overview
Coq IDE.
Supported tags and respective Dockerfile links
8.8.2,8.8,8,latest(8.8/Dockerfile)8.7.2,8.7(8.7/Dockerfile)8.6.1,8.6(8.6/Dockerfile)
Tag summary
Content type
Image
Digest
Size
208.2 MB
Last updated
over 7 years ago
docker pull tyabu/coqide