dmytrish/lean4-build

•Updated 6 months ago

Image

1.0K

dmytrish/lean4-build repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:4c9350b80…

Size

899 MB

Last updated

8 months ago

docker pull dmytrish/lean4-build