Help

System theme

Docker Suite

aescling/lean

•Updated about 2 years ago

Unofficial image for Lean 4 development, with the elan version manager and lean.

Image

0

10K+

Tags for aescling/lean

Sort by

TAG

Last pushed about 2 years by aescling

docker pull aescling/lean:latest

Digest	OS/ARCH	Compressed size
3eed1596f1c8	linux/amd64	372.11 MB

TAG

4.9.0-debian-slim

Last pushed over 2 years by aescling

docker pull aescling/lean:4.9.0-debian-slim

Digest	OS/ARCH	Compressed size
8298f4f0f590	linux/amd64	322.88 MB

TAG

4.8.0-debian-slim

Last pushed over 2 years by aescling

docker pull aescling/lean:4.8.0-debian-slim

Digest	OS/ARCH	Compressed size
afeef2077a91	linux/amd64	308.35 MB

TAG

4.7.0-debian-slim

Last pushed over 2 years by aescling

docker pull aescling/lean:4.7.0-debian-slim

Digest	OS/ARCH	Compressed size
8693019347e6	linux/amd64	286.54 MB

TAG

4.6.1-debian-slim

Last pushed over 2 years by aescling

docker pull aescling/lean:4.6.1-debian-slim

Digest	OS/ARCH	Compressed size
709445a00d55	linux/amd64	265.33 MB

TAG

Last pushed over 2 years by aescling

docker pull aescling/lean:4.6.1

Digest	OS/ARCH	Compressed size
55bbd1d3cd78	linux/amd64	503.74 MB