kwarc/mmt

By kwarc

•Updated over 4 years ago

The MMT Language and System

Image

100K+

Overview Tags

Tags for kwarc/mmt

Sort by

TAG

latest

Last pushed over 4 years by tkw01536

docker pull kwarc/mmt:latest

Digest	OS/ARCH	Compressed size
41b25b8c62b3	linux/amd64	111.77 MB

TAG

devel

Last pushed about 5 years by kwarc

docker pull kwarc/mmt:devel

Digest	OS/ARCH	Compressed size
a4a149886851	linux/amd64	114.15 MB

TAG

release-21.0.0

Last pushed almost 6 years by kwarc

docker pull kwarc/mmt:release-21.0.0

Digest	OS/ARCH	Compressed size
00fbf1f8ed65	linux/amd64	111.77 MB

TAG

release

Last pushed almost 6 years by kwarc

docker pull kwarc/mmt:release

Digest	OS/ARCH	Compressed size
87c206f92192	linux/amd64	111.77 MB

TAG

release-v20.0.0

Last pushed about 6 years by kwarc

docker pull kwarc/mmt:release-v20.0.0

Digest	OS/ARCH	Compressed size
6187c20528a9	linux/amd64	105.13 MB

TAG

release-19.0.0

Last pushed almost 7 years by kwarc

docker pull kwarc/mmt:release-19.0.0

Digest	OS/ARCH	Compressed size
cf97282074e8	linux/amd64	104.81 MB

TAG

release-v18.0.0

Last pushed about 7 years by kwarc

docker pull kwarc/mmt:release-v18.0.0

Digest	OS/ARCH	Compressed size
4974e89a442a	linux/amd64	104.6 MB

TAG

release-v17.0.0

Last pushed over 7 years by kwarc

docker pull kwarc/mmt:release-v17.0.0

Digest	OS/ARCH	Compressed size
b7b4135fc59c	linux/amd64	101.08 MB

TAG

release-v16.0.0

Last pushed over 7 years by kwarc

docker pull kwarc/mmt:release-v16.0.0

Digest	OS/ARCH	Compressed size
ec06c5a5840f	linux/amd64	99.95 MB

TAG

release-v15.0.0

Last pushed almost 8 years by kwarc

docker pull kwarc/mmt:release-v15.0.0

Digest	OS/ARCH	Compressed size
8489166b01d2	linux/amd64	98.78 MB

TAG

release-v14.0.0

Last pushed almost 8 years by kwarc

docker pull kwarc/mmt:release-v14.0.0

Digest	OS/ARCH	Compressed size
c376d7e5b5df	linux/amd64	98.58 MB

TAG

release-v13.0.0

Last pushed about 8 years by kwarc

docker pull kwarc/mmt:release-v13.0.0

Digest	OS/ARCH	Compressed size
7cc921b762e2	linux/amd64	97.75 MB

TAG

release-v12.0.0

Last pushed over 8 years by kwarc

docker pull kwarc/mmt:release-v12.0.0

Digest	OS/ARCH	Compressed size
03ef737667b5	linux/amd64	96.81 MB

TAG

release-12.0.0

Last pushed over 8 years by kwarc

docker pull kwarc/mmt:release-12.0.0

Digest	OS/ARCH	Compressed size
2ba60587d0e3	linux/amd64	96.81 MB

TAG

release_10

Last pushed over 8 years by tkw01536

docker pull kwarc/mmt:release_10

Digest	OS/ARCH	Compressed size
f23e6ecd9c12	linux/amd64	95.18 MB