andycinquin/isabelle-prod

•Updated about 2 years ago

Image

204

Tags for andycinquin/isabelle-prod

Sort by

TAG

latest

Last pushed about 2 years by andycinquin

docker pull andycinquin/isabelle-prod:latest

Digest	OS/ARCH	Compressed size
aaf27110f7d9	linux/amd64	198.85 MB