mathlib4/gitpod sha256-3af6667cb1f8ddad7ca4aed7a4ab1187b6db69ebbe8d12e11da3f32ee557497f Public Latest

Install from the command line

Learn more about packages


      
  
      
        $ docker pull ghcr.io/j-loreaux/mathlib4/gitpod:sha256-3af6667cb1f8ddad7ca4aed7a4ab1187b6db69ebbe8d12e11da3f32ee557497f

Recent tagged image versions

sha256-3af6667cb1f8ddad7ca4aed7a4ab1187b6db69ebbe8d12e11da3f32ee557497f

Published 11 months ago · Digest
sha256:a55883cb5f60091223ba5b1995a3b3671ccc52f246ccc3d5f2d5d2ba0a01b96b

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

Published 11 months ago · Digest
sha256:3af6667cb1f8ddad7ca4aed7a4ab1187b6db69ebbe8d12e11da3f32ee557497f

53 Version downloads
sha256-78ae4d8da65bf633c61f6122601fe1b8b28698ae871df15d8d19e7ad0175462f

Published 11 months ago · Digest
sha256:3af126d244b8cfb3daaf97aabbd5f0be57774814459ac408c57f941aff7708d8

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

Published 11 months ago · Digest
sha256:78ae4d8da65bf633c61f6122601fe1b8b28698ae871df15d8d19e7ad0175462f

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