mathlib4/gitpod sha256-efc75780e3beaad4c5d83e8ca2fff5db6c801133091ca3c5f96825cadffe69b0 Public Latest

Install from the command line


      
  
      
        $ docker pull ghcr.io/leanprover-community/mathlib4/gitpod:sha256-efc75780e3beaad4c5d83e8ca2fff5db6c801133091ca3c5f96825cadffe69b0

Recent tagged image versions

sha256-efc75780e3beaad4c5d83e8ca2fff5db6c801133091ca3c5f96825cadffe69b0

Published about 3 hours ago · Digest
sha256:90259b38be471a728345c192294b082dc7ce54fd73ed95177db74b65186bd5b3

0 Version downloads
latest sha-9b12c6a 2026-03-13 master

Published about 3 hours ago · Digest
sha256:efc75780e3beaad4c5d83e8ca2fff5db6c801133091ca3c5f96825cadffe69b0

1 Version downloads
sha256-6d02909285e4b2aec1bcdc92ba47b4ff2f35c223c5db74d6d958061995ce7134

Published 1 day ago · Digest
sha256:ada343eaa6365db89638bfbac5dfb5392e9460394987a64188675088e24b8658

0 Version downloads
sha-d8f2208 2026-03-12

Published 1 day ago · Digest
sha256:6d02909285e4b2aec1bcdc92ba47b4ff2f35c223c5db74d6d958061995ce7134

1 Version downloads
sha256-1cdd5b4ae26bce36c477cbebee2191a608fdf4e435a2ba9f99326014aa1c7598

Published 2 days ago · Digest
sha256:faf47fb253470f1404684e9c45fab544b0e6f4c26f9d0868382fe3998bac1505

0 Version downloads