Sign inSign up

leanprovercommunity/lean4

By leanprovercommunity

•Updated about 2 years ago

Image
0

10K+

Tags for leanprovercommunity/lean4

Sort by

TAG

latest

Last pushed about 2 years by leanprovercommunity

docker pull leanprovercommunity/lean4:latest
DigestOS/ARCHCompressed size

d61f7052fa82

linux/amd64

388.31 MB

TAG

2024-08-20

Last pushed about 2 years by leanprovercommunity

docker pull leanprovercommunity/lean4:2024-08-20
DigestOS/ARCHCompressed size

d61f7052fa82

linux/amd64

388.31 MB