esolang/coq

•Updated 4 months ago

Easily execute Rocq programming language

Image

Languages & frameworks

6.3K

Tags for esolang/coq

Sort by

TAG

latest

Last pushed 4 months by hakatashi

docker pull esolang/coq:latest

Digest	OS/ARCH	Compressed size
d516d3dc4439	linux/amd64	763.72 MB

TAG

2.6.1

Last pushed 4 months by hakatashi

docker pull esolang/coq:2.6.1

Digest	OS/ARCH	Compressed size
d516d3dc4439	linux/amd64	763.72 MB

TAG

2.6.0

Last pushed 5 months by hakatashi

docker pull esolang/coq:2.6.0

Digest	OS/ARCH	Compressed size
647a8faae100	linux/amd64	763.57 MB

TAG

2.5.0

Last pushed 5 months by hakatashi

docker pull esolang/coq:2.5.0

Digest	OS/ARCH	Compressed size
0b1eac1ad944	linux/amd64	598.71 MB

TAG

2.4.0

Last pushed over 2 years by hakatashi

docker pull esolang/coq:2.4.0

Digest	OS/ARCH	Compressed size
dd77834195b1	linux/amd64	632.91 MB