edayers/lean

•Updated over 6 years ago

Ubuntu with elan and update-mathlib installed.

Image

1.1K

Tags for edayers/lean

Sort by

TAG

latest

Last pushed over 6 years by edayers

docker pull edayers/lean:latest

Digest	OS/ARCH	Compressed size
40f9f60489d6	linux/amd64	366.87 MB

TAG

3.6.1

Last pushed over 6 years by edayers

docker pull edayers/lean:3.6.1

Digest	OS/ARCH	Compressed size
40f9f60489d6	linux/amd64	366.87 MB