Sign inSign up

peterzel/isabelle

By peterzel

•Updated over 6 years ago

Isabelle 2016 built from https://github.com/dominique-unruh/isabelle-docker

Image
0

711

Tags for peterzel/isabelle

Sort by

TAG

latest

Last pushed over 6 years by peterzel

docker pull peterzel/isabelle:latest
DigestOS/ARCHCompressed size

e82643cc4cf1

linux/amd64

2.23 GB

TAG

hol2018

Last pushed over 7 years by peterzel

docker pull peterzel/isabelle:hol2018
DigestOS/ARCHCompressed size

bca25ff1edb2

linux/amd64

461.72 MB

TAG

hol2016-1

Last pushed over 9 years by peterzel

docker pull peterzel/isabelle:hol2016-1
DigestOS/ARCHCompressed size

2e4907392148

linux/amd64

570.48 MB