parsewave
lean-mathlib-base lean-4.29.0 Public Latest
Install from the command line
$ docker pull ghcr.io/parsewave/lean-mathlib-base:lean-4.29.0
linux/amd64
$ docker pull ghcr.io/parsewave/lean-mathlib-base:lean-4.29.0@sha256:ea15af7266d963dd90766ae16ee8579759b36b6c968d1e43ed448c673d12ac76
unknown/unknown
$ docker pull ghcr.io/parsewave/lean-mathlib-base:lean-4.29.0@sha256:3e6cd08d06b6ca27e5eb82fc7f0c47bf014d428a7bb361d450b6b77ec6ebe6ac
Recent tagged image versions
- 1,628 Version downloads
- 152 Version downloads
Loading
Sorry, something went wrong.
Last published
3 months ago
Total downloads