Sign inSign up

leanprovercommunity/mathlib

By leanprovercommunity

•Updated almost 2 years ago

The Mathlib 4 development environment

Image
Languages & frameworks
0

10K+

Tags for leanprovercommunity/mathlib

Sort by

TAG

gitpod

Last pushed almost 2 years by leanprovercommunity

docker pull leanprovercommunity/mathlib:gitpod
DigestOS/ARCHCompressed size

3cc70a869430

linux/amd64

722.08 MB

TAG

debian

Last pushed almost 2 years by leanprovercommunity

docker pull leanprovercommunity/mathlib:debian
DigestOS/ARCHCompressed size

e251cad58fa2

linux/amd64

388.31 MB

TAG

latest

Last pushed almost 2 years by leanprovercommunity

docker pull leanprovercommunity/mathlib:latest
DigestOS/ARCHCompressed size

e251cad58fa2

linux/amd64

388.31 MB