Sign inSign up

sagemathinc/lean

By sagemathinc

•Updated over 2 years ago

Image
0

331

Tags for sagemathinc/lean

Sort by

TAG

2024-05-18

Last pushed over 2 years by wastein

docker pull sagemathinc/lean:2024-05-18
DigestOS/ARCHCompressed size

48d40be40637

linux/amd64

727.94 MB

65d22d992518

linux/arm64/v8

731.45 MB

TAG

2024-05-17

Last pushed over 2 years by wastein

docker pull sagemathinc/lean:2024-05-17
DigestOS/ARCHCompressed size

dd3671f8087b

linux/amd64

727.9 MB

9bd287e73714

linux/arm64/v8

731.4 MB

TAG

2024-04-29.p2

Last pushed over 2 years by wastein

docker pull sagemathinc/lean:2024-04-29.p2
DigestOS/ARCHCompressed size

2834f5035331

linux/amd64

727.03 MB

5fcf5dba440b

linux/arm64/v8

725.64 MB

TAG

2024-04-29.p1

Last pushed over 2 years by wastein

docker pull sagemathinc/lean:2024-04-29.p1
DigestOS/ARCHCompressed size

284eb3b1bc84

linux/amd64

727.03 MB

7e669ac749db

linux/arm64/v8

725.64 MB