mathlib4/gitpod-blueprint sha256-530c772cf4c18203e307ba09cd309551a12752ce87f864653f444feb31c61341 Public Latest

Install from the command line


      
  
      
        $ docker pull ghcr.io/leanprover-community/mathlib4/gitpod-blueprint:sha256-530c772cf4c18203e307ba09cd309551a12752ce87f864653f444feb31c61341

Recent tagged image versions

sha256-530c772cf4c18203e307ba09cd309551a12752ce87f864653f444feb31c61341

Published about 14 hours ago · Digest
sha256:5e242325780d80f5ad714fd77d96c8752e78e762393d568db9c5b16562557b6d

0 Version downloads
latest sha-4ac22c7 2026-08-19 master

Published about 14 hours ago · Digest
sha256:530c772cf4c18203e307ba09cd309551a12752ce87f864653f444feb31c61341

1 Version downloads
sha256-546071e087801ec113b4fd3649e12a2a85c05a8edcbd5332aa735d5cfd4a54a7

Published 1 day ago · Digest
sha256:58d67f11e5b14e75aa6c94b16abba9678f1709b921390374286e4e13a89f757d

0 Version downloads
sha-818f61d 2026-08-18

Published 1 day ago · Digest
sha256:546071e087801ec113b4fd3649e12a2a85c05a8edcbd5332aa735d5cfd4a54a7

1 Version downloads
sha256-80875aa72729267431d22b40884b250a4fe220aee282bf0d60fd1b5c55680aee

Published 3 days ago · Digest
sha256:9ac3128e6d2165c340b7314d3d53e1a3443841889907d864195bb4f0d948782e

0 Version downloads