Sign inSign up

seanleather/lean

By seanleather

•Updated over 10 years ago

Lean prover built from source

Image
0

338

Tags for seanleather/lean

Sort by

TAG

latest

Last pushed over 10 years by seanleather

docker pull seanleather/lean:latest
DigestOS/ARCHCompressed size

7e5cb4ef376b

amd64

79.52 MB