images with coq and some pre-compiled libraries
296
Images containing a single user named johndoe, with coq compiled in a personal opam directory.
Content type
Image
Digest
Size
1014.2 MB
Last updated
almost 9 years ago
docker pull ybertot/coq-with-libraries:smtcoq-cvc4.8.6