mathlib4/lean sha256-422ff07babf316c0e0523db447bd733804d17322364f068a953152829248efb4 Public Latest

Install from the command line

Learn more about packages


      
  
      
        $ docker pull ghcr.io/j-loreaux/mathlib4/lean:sha256-422ff07babf316c0e0523db447bd733804d17322364f068a953152829248efb4

Recent tagged image versions

sha256-422ff07babf316c0e0523db447bd733804d17322364f068a953152829248efb4

Published 11 months ago · Digest
sha256:d1da484d428dacb0abc06fb66b825c3a04ff486f4a6b5c45c1e809a20fa3576f

13 Version downloads
latest sha-370ad54 2025-06-12 master

Published 11 months ago · Digest
sha256:422ff07babf316c0e0523db447bd733804d17322364f068a953152829248efb4

53 Version downloads
sha256-2567dde488e7336dea464ba793113062c72d42e072a6b110845de710c55194c3

Published 11 months ago · Digest
sha256:71b4627af3d9ac4ab3b78a70ec4d515a4cd7c96cfb08d5f6ad3074671b180f5a

13 Version downloads
sha-45feb5a 2025-06-11

Published 11 months ago · Digest
sha256:2567dde488e7336dea464ba793113062c72d42e072a6b110845de710c55194c3

31 Version downloads

View all tagged versions

Loading

Details

j-loreaux
mathlib4
Apache License 2.0
0 stars

Last published

11 months ago

Total downloads

136

Contributors