Sign inSign up

ybertot/coq-with-libraries

By ybertot

•Updated almost 9 years ago

images with coq and some pre-compiled libraries

Image
0

355

Tags for ybertot/coq-with-libraries

Sort by

TAG

smtcoq-cvc4.8.6

Last pushed almost 9 years by ybertot

docker pull ybertot/coq-with-libraries:smtcoq-cvc4.8.6
DigestOS/ARCHCompressed size

a8f0a32fad91

linux/amd64

1014.17 MB

TAG

oddorder.1.6.1

Last pushed almost 9 years by ybertot

docker pull ybertot/coq-with-libraries:oddorder.1.6.1
DigestOS/ARCHCompressed size

6d4aefe9f95f

linux/amd64

542.25 MB

TAG

mathcomp.1.6.1

Last pushed about 9 years by ybertot

docker pull ybertot/coq-with-libraries:mathcomp.1.6.1
DigestOS/ARCHCompressed size

13dd1c6c60ff

linux/amd64

496.41 MB