mathlib4/gitpod sha256-dc5b4677054049e8127c20571325e3e8d0a224341846702fd9ee42792c250e1f Public Latest

Install from the command line

Learn more about packages


      
  
      
        $ docker pull ghcr.io/stars1233/mathlib4/gitpod:sha256-dc5b4677054049e8127c20571325e3e8d0a224341846702fd9ee42792c250e1f

Recent tagged image versions

sha256-dc5b4677054049e8127c20571325e3e8d0a224341846702fd9ee42792c250e1f

Published 4 months ago · Digest
sha256:a82ffcc0a6059e60389e10b6bb8f968c6ba77c5aa14b63c86a2a8638bb1ee908

0 Version downloads
latest 2025-07-06 sha-b864ec4 master

Published 4 months ago · Digest
sha256:dc5b4677054049e8127c20571325e3e8d0a224341846702fd9ee42792c250e1f

1 Version downloads
sha256-7c90471a266b43de626dc8220fa4f69a462d0afc0cb5bf99ad76a330d90008f8

Published 4 months ago · Digest
sha256:ee223fe2e2943dd33354e7c092fc526fbd5a109c7baca5a9779a2fcf8a3a5825

0 Version downloads
2025-07-05

Published 4 months ago · Digest
sha256:7c90471a266b43de626dc8220fa4f69a462d0afc0cb5bf99ad76a330d90008f8

1 Version downloads
sha256-e8d9742c468715f0bb8918799a2c397d6376f4158a69a8910c6f001ddf0860de

Published 4 months ago · Digest
sha256:1b0aee7fb609a3a963172611929c94532b56ab46dd482dde38dd94cc693ccd4f

0 Version downloads

View all tagged versions

Loading

Details

Stars1233
mathlib4
Apache License 2.0
1 star

Last published

4 months ago

Total downloads

29

Contributors