thomasdwright/isabelle-utp

•Updated over 4 years ago

Image

Tags for thomasdwright/isabelle-utp

Sort by

TAG

2021

Last pushed over 4 years by thomasdwright

docker pull thomasdwright/isabelle-utp:2021

Digest	OS/ARCH	Compressed size
a3a03d858874	linux/amd64	1.84 GB