Michael Zhang

Repositories

132

Projects Packages

5

Code Public activity Starred repositories

lean2 (nixpkgs-f5129fb42b9c262318130a97b47516946da3e7d7)

Published 2024-08-09 04:21:29 +00:00 by michael

Installation

Pull the image from the command line:

docker pull git.mzhang.io/michael/lean2:nixpkgs-f5129fb42b9c262318130a97b47516946da3e7d7

Digest:

sha256:218cbdf5e06f716c6b9523ab596b20d436450affce97a9d6fcf64de39de7d28a

For more information on the Container registry, see the documentation.

Details

Container

2024-08-09 04:21:29 +00:00

3

OCI / Docker

linux/amd64

81 MiB

Versions (1) View all

nixpkgs-f5129fb42b9c262318130a97b47516946da3e7d7 2024-08-09