Sign inSign up

leanprovercommunity/lean

By leanprovercommunity

•Updated almost 2 years ago

The software tools for developing in Lean 4

Image
Languages & frameworks
0

10K+

Tags for leanprovercommunity/lean

Sort by

TAG

debian

Last pushed almost 2 years by leanprovercommunity

docker pull leanprovercommunity/lean:debian
DigestOS/ARCHCompressed size

500482284d5f

linux/amd64

388.31 MB

TAG

latest

Last pushed almost 2 years by leanprovercommunity

docker pull leanprovercommunity/lean:latest
DigestOS/ARCHCompressed size

500482284d5f

linux/amd64

388.31 MB

TAG

alpine

Last pushed about 5 years by leanprovercommunity

docker pull leanprovercommunity/lean:alpine
DigestOS/ARCHCompressed size

aef67c499135

linux/amd64

37.43 MB