ta0tani/lean

•Updated over 5 years ago

A container image for lean3 and lean4

Image

172

Tags for ta0tani/lean

Sort by

TAG

lean3

Last pushed over 5 years by ta0tani

docker pull ta0tani/lean:lean3

Digest	OS/ARCH	Compressed size
42ef560f18db	linux/amd64	124.01 MB

TAG

lean4

Last pushed over 5 years by ta0tani

docker pull ta0tani/lean:lean4

Digest	OS/ARCH	Compressed size
f81c2e258874	linux/amd64	123.07 MB