Skip to content

mathlib4/gitpod-blueprint sha256-f1ee3ac5af99255d2b8fb543dbb43f3fe8d949f4955b3df57de8abb1fb32b12c Public Latest

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

Recent tagged image versions

View all tagged versions

Loading

Details

Last published

13 hours ago

Issues

1.87K

Total downloads

33