logicalhacking/isabelle2022

•Updated over 3 years ago

Image

224

Tags for logicalhacking/isabelle2022

Sort by

TAG

latest

Last pushed over 3 years by adbrucker

docker pull logicalhacking/isabelle2022:latest

Digest	OS/ARCH	Compressed size
6f5763587d6e	linux/amd64	4.01 GB