Skip to content

mathlib4/gitpod-blueprint sha256-beb9a1fdfe643ef1b7ff5349f080f0ca27335879e4a26d155ad1eefb892836be Public Latest

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

Recent tagged image versions

View all tagged versions

Loading

Details

Last published

10 hours ago

Issues

2.58K

Total downloads

404