proofscape/pise

By proofscape

•Updated over 2 years ago

PISE: the Proofscape Integrated Study Environment

Image

1.7K

Overview Tags

Tags for proofscape/pise

Sort by

TAG

latest

Last pushed over 2 years by skieffer

docker pull proofscape/pise:latest

Digest	OS/ARCH	Compressed size
0d433426c0c7	linux/amd64	137.98 MB
a041a47dab4c	linux/arm64	137.98 MB

TAG

0.30.3

Last pushed over 2 years by skieffer

docker pull proofscape/pise:0.30.3

Digest	OS/ARCH	Compressed size
0d433426c0c7	linux/amd64	137.98 MB
a041a47dab4c	linux/arm64	137.98 MB

TAG

edge

Last pushed over 2 years by skieffer

docker pull proofscape/pise:edge

Digest	OS/ARCH	Compressed size
0a6aed7ec124	linux/amd64	137.99 MB
e5cee29d6543	linux/arm64	137.99 MB

TAG

0.30.3-rc1

Last pushed over 2 years by skieffer

docker pull proofscape/pise:0.30.3-rc1

Digest	OS/ARCH	Compressed size
0a6aed7ec124	linux/amd64	137.99 MB
e5cee29d6543	linux/arm64	137.99 MB

TAG

0.30.2

Last pushed over 2 years by skieffer

docker pull proofscape/pise:0.30.2

Digest	OS/ARCH	Compressed size
84bafe10d9df	linux/amd64	137.99 MB
c8ff5ae95092	linux/arm64	137.99 MB

TAG

0.30.2-rc2

Last pushed over 2 years by skieffer

docker pull proofscape/pise:0.30.2-rc2

Digest	OS/ARCH	Compressed size
d4164c448948	linux/amd64	137.98 MB
71ce94623317	linux/arm64	137.98 MB

TAG

0.30.2-rc1

Last pushed over 2 years by skieffer

docker pull proofscape/pise:0.30.2-rc1

Digest	OS/ARCH	Compressed size
3d9e5fb1897b	linux/amd64	137.99 MB
e070d2b53d0c	linux/arm64	137.99 MB

TAG

0.29.1

Last pushed over 2 years by skieffer

docker pull proofscape/pise:0.29.1

Digest	OS/ARCH	Compressed size
09eb0ab72f7f	linux/amd64	137.71 MB
e94fc3f655f9	linux/arm64	137.71 MB

TAG

0.29.0

Last pushed over 2 years by skieffer

docker pull proofscape/pise:0.29.0

Digest	OS/ARCH	Compressed size
f640b5f64c13	linux/amd64	137.7 MB
13d76c7d90b6	linux/arm64	137.7 MB

TAG

0.28.0

Last pushed about 3 years by skieffer

docker pull proofscape/pise:0.28.0

Digest	OS/ARCH	Compressed size
d406a30ce2da	linux/amd64	137.26 MB
d3a7f8162f02	linux/arm64	137.26 MB

TAG

0.27.0

Last pushed about 3 years by skieffer

docker pull proofscape/pise:0.27.0

Digest	OS/ARCH	Compressed size
f03cd79c7757	linux/amd64	106.71 MB
1ed2a1be1e5b	linux/arm64	106.71 MB

TAG

0.27.0-a1

Last pushed over 3 years by skieffer

docker pull proofscape/pise:0.27.0-a1

Digest	OS/ARCH	Compressed size
2764b026ffcc	linux/amd64	105.91 MB
119020dc7f18	linux/arm64	105.91 MB

TAG

0.27.0-a0

Last pushed over 3 years by skieffer

docker pull proofscape/pise:0.27.0-a0

Digest	OS/ARCH	Compressed size
8fab3c6d58dd	linux/amd64	104.08 MB
dfa6dcdd2a2a	linux/arm64	104.08 MB

TAG

0.26.1

Last pushed almost 4 years by skieffer

docker pull proofscape/pise:0.26.1

Digest	OS/ARCH	Compressed size
8d915812bf13	linux/amd64	93.19 MB

TAG

0.26.0

Last pushed almost 4 years by skieffer

docker pull proofscape/pise:0.26.0

Digest	OS/ARCH	Compressed size
79c167cdccf6	linux/amd64	93.17 MB

TAG

25.2-0.25.0

Last pushed almost 4 years by skieffer

docker pull proofscape/pise:25.2-0.25.0

Digest	OS/ARCH	Compressed size
2a2f06595773	linux/amd64	94.22 MB

TAG

25.0-0.25.0

Last pushed almost 4 years by skieffer

docker pull proofscape/pise:25.0-0.25.0

Digest	OS/ARCH	Compressed size
caf958110384	linux/amd64	93.55 MB

TAG

23.1-0.23.2

Last pushed about 4 years by skieffer

docker pull proofscape/pise:23.1-0.23.2

Digest	OS/ARCH	Compressed size
a0ecbaa5b858	linux/amd64	93.19 MB