mathlib4/gitpod sha256-e30b5ed08b47de23fc2603d0b956ad0427740bb3b3fc02dcc8128ba6d48c053a Public Latest
Install from the command line
Learn more about packages
$ docker pull ghcr.io/leanprover-community/mathlib4/gitpod:sha256-e30b5ed08b47de23fc2603d0b956ad0427740bb3b3fc02dcc8128ba6d48c053a
Recent tagged image versions
- 0 Version downloads
- 8 Version downloads
- 0 Version downloads
- 9 Version downloads
- 0 Version downloads
Loading
Sorry, something went wrong.
Details
-
leanprover-community
- mathlib4
- Apache License 2.0
- 2.1k stars
Last published
12 hours ago
Issues
1.87K
Total downloads