Skip to content

mathlib4/gitpod-blueprint sha256-49af112c0d0137fee2e93701cc28011de94811ad96db2c26583d1992c6b4c621 Public Latest

Install from the command line
Learn more about packages
$ docker pull ghcr.io/leanprover-community/mathlib4/gitpod-blueprint:sha256-49af112c0d0137fee2e93701cc28011de94811ad96db2c26583d1992c6b4c621

Recent tagged image versions

View all tagged versions

Loading

Details

Last published

15 hours ago

Issues

2.16K

Total downloads

259