Sign inSign up

aescling/lean

By aescling

•Updated about 2 years ago

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

Image
0

10K+

aescling/lean repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

sha256:3eed1596f…

Size

372.1 MB

Last updated

about 2 years ago

docker pull aescling/lean