mathlib4/lean sha256-6db67fca0abd2580a45539361d6034603d29ec21e5dbf49cdfcecf5d4caae454 Public Latest

Install from the command line


    
  
      
      $ docker pull ghcr.io/leanprover-community/mathlib4/lean:sha256-6db67fca0abd2580a45539361d6034603d29ec21e5dbf49cdfcecf5d4caae454

Recent tagged image versions

sha256-6db67fca0abd2580a45539361d6034603d29ec21e5dbf49cdfcecf5d4caae454

Published about 7 hours ago · Digest
sha256:c8443db3f56aa62adcfc3a46136b2f242d510bcad9966efed463bf039a05333d

0 Version downloads
latest sha-432a037 2025-09-22 master

Published about 7 hours ago · Digest
sha256:6db67fca0abd2580a45539361d6034603d29ec21e5dbf49cdfcecf5d4caae454

1 Version downloads
sha256-87e7c68b96a7efb5f3fcefdb18987470d9f8af518f337e7eebff9183cbc65b3d

Published 1 day ago · Digest
sha256:032f952733957dde1840794dbed2271fd4fc37a99460c8a9c9f2351dcdecf5bb

0 Version downloads
sha-efcc0aa 2025-09-21

Published 1 day ago · Digest
sha256:87e7c68b96a7efb5f3fcefdb18987470d9f8af518f337e7eebff9183cbc65b3d

1 Version downloads
sha256-491f26448e7e77b998efee9395eb442609475ae41b8cdf8337d4295114a9efb8

Published 2 days ago · Digest
sha256:5fc0f2111f720e6ae28e23ffc615e12e4173e113394480d4a8830864b352328d

0 Version downloads