Sign inSign up

makarius/isabelle

By makarius

•Updated 8 months ago

Official Isabelle distribution (https://isabelle.in.tum.de)

Image
10

10K+

Tags for makarius/isabelle

Sort by

TAG

latest_arm

Last pushed 8 months by makarius

docker pull makarius/isabelle:latest_arm
DigestOS/ARCHCompressed size

c4d845110447

linux/arm64/v8

2.3 GB

TAG

Isabelle2025-2_ARM_X11_Latex

Last pushed 8 months by makarius

docker pull makarius/isabelle:Isabelle2025-2_ARM_X11_Latex
DigestOS/ARCHCompressed size

9ed3d04572f8

linux/arm64/v8

3.84 GB

TAG

latest

Last pushed 8 months by makarius

docker pull makarius/isabelle:latest
DigestOS/ARCHCompressed size

9bd33b183c39

linux/amd64

2.39 GB

TAG

Isabelle2025-2_X11_Latex

Last pushed 8 months by makarius

docker pull makarius/isabelle:Isabelle2025-2_X11_Latex
DigestOS/ARCHCompressed size

7ae4b4e9eb3e

linux/amd64

3.93 GB

TAG

Isabelle2025-2_ARM

Last pushed 8 months by makarius

docker pull makarius/isabelle:Isabelle2025-2_ARM
DigestOS/ARCHCompressed size

c4d845110447

linux/arm64/v8

2.3 GB

TAG

Isabelle2025-2

Last pushed 8 months by makarius

docker pull makarius/isabelle:Isabelle2025-2
DigestOS/ARCHCompressed size

9bd33b183c39

linux/amd64

2.39 GB

TAG

Isabelle2025-1_ARM_X11_Latex

Last pushed 10 months by makarius

docker pull makarius/isabelle:Isabelle2025-1_ARM_X11_Latex
DigestOS/ARCHCompressed size

9750566c1f43

linux/arm64/v8

3.85 GB

TAG

Isabelle2025-1_X11_Latex

Last pushed 10 months by makarius

docker pull makarius/isabelle:Isabelle2025-1_X11_Latex
DigestOS/ARCHCompressed size

3550949daad2

linux/amd64

3.94 GB

TAG

Isabelle2025-1_ARM

Last pushed 10 months by makarius

docker pull makarius/isabelle:Isabelle2025-1_ARM
DigestOS/ARCHCompressed size

e39a656689de

linux/arm64/v8

2.31 GB

TAG

Isabelle2025-1

Last pushed 10 months by makarius

docker pull makarius/isabelle:Isabelle2025-1
DigestOS/ARCHCompressed size

23e6b4af8a19

linux/amd64

2.39 GB

TAG

Isabelle2025_X11_Latex

Last pushed over 1 year by makarius

docker pull makarius/isabelle:Isabelle2025_X11_Latex
DigestOS/ARCHCompressed size

af1e14bb3109

linux/amd64

3.21 GB

TAG

Isabelle2025_ARM_X11_Latex

Last pushed over 1 year by makarius

docker pull makarius/isabelle:Isabelle2025_ARM_X11_Latex
DigestOS/ARCHCompressed size

a0086c2fc4f7

linux/arm64/v8

3.11 GB

TAG

Isabelle2025_ARM

Last pushed over 1 year by makarius

docker pull makarius/isabelle:Isabelle2025_ARM
DigestOS/ARCHCompressed size

bea0ef5b1cbd

linux/arm64/v8

2.03 GB

TAG

Isabelle2025

Last pushed over 1 year by makarius

docker pull makarius/isabelle:Isabelle2025
DigestOS/ARCHCompressed size

8762cb57712e

linux/amd64

2.11 GB

TAG

Isabelle2024

Last pushed over 2 years by makarius

docker pull makarius/isabelle:Isabelle2024
DigestOS/ARCHCompressed size

de3a653a6bae

linux/amd64

1.38 GB

TAG

Isabelle2024_X11_Latex

Last pushed over 2 years by makarius

docker pull makarius/isabelle:Isabelle2024_X11_Latex
DigestOS/ARCHCompressed size

b2ba376bf70e

linux/amd64

2.47 GB

TAG

Isabelle2024_ARM_X11_Latex

Last pushed over 2 years by makarius

docker pull makarius/isabelle:Isabelle2024_ARM_X11_Latex
DigestOS/ARCHCompressed size

7ae88729d942

linux/arm64/v8

2.38 GB

TAG

Isabelle2024_ARM

Last pushed over 2 years by makarius

docker pull makarius/isabelle:Isabelle2024_ARM
DigestOS/ARCHCompressed size

e8e985fb3d40

linux/arm64/v8

1.3 GB

TAG

Isabelle2023_ARM_X11_Latex

Last pushed about 3 years by makarius

docker pull makarius/isabelle:Isabelle2023_ARM_X11_Latex
DigestOS/ARCHCompressed size

58730b0caace

linux/arm64/v8

2.32 GB

TAG

Isabelle2023_X11_Latex

Last pushed about 3 years by makarius

docker pull makarius/isabelle:Isabelle2023_X11_Latex
DigestOS/ARCHCompressed size

901533e0f131

linux/amd64

2.41 GB

TAG

Isabelle2023

Last pushed about 3 years by makarius

docker pull makarius/isabelle:Isabelle2023
DigestOS/ARCHCompressed size

6092096e0ee2

linux/amd64

1.32 GB

TAG

latest_ARM

Last pushed about 3 years by makarius

docker pull makarius/isabelle:latest_ARM
DigestOS/ARCHCompressed size

e417a4e534d7

linux/arm64/v8

1.25 GB

TAG

Isabelle2023_ARM

Last pushed about 3 years by makarius

docker pull makarius/isabelle:Isabelle2023_ARM
DigestOS/ARCHCompressed size

e417a4e534d7

linux/arm64/v8

1.25 GB

TAG

Isabelle2022_ARM_X11_Latex

Last pushed almost 4 years by makarius

docker pull makarius/isabelle:Isabelle2022_ARM_X11_Latex
DigestOS/ARCHCompressed size

43316ee701d6

linux/arm64/v8

2.28 GB

TAG

Isabelle2022_X11_Latex

Last pushed almost 4 years by makarius

docker pull makarius/isabelle:Isabelle2022_X11_Latex
DigestOS/ARCHCompressed size

2081e7604ca7

linux/amd64

2.4 GB