Sign inSign up

ta0tani/lean

By ta0tani

•Updated over 5 years ago

A container image for lean3 and lean4

Image
0

172

ta0tani/lean repository overview

⁠gitpod-lean

Tag summary

Content type

Image

Digest

Size

124 MB

Last updated

over 5 years ago

docker pull ta0tani/lean:lean3