Repository navigation

lean-workbench 0.0.18 Public Latest

Install from the command line


      
  
      
        $ docker pull ghcr.io/leanprover/lean-workbench:0.0.18

linux/amd64


      
  
      
        $ docker pull ghcr.io/leanprover/lean-workbench:0.0.18@sha256:14c3da6b66b2f2197fbdf5fef079f99b03f735bc52867451813e0a302dae954d

unknown/unknown


      
  
      
        $ docker pull ghcr.io/leanprover/lean-workbench:0.0.18@sha256:a75ce5dec7554514bd12fb9c78c5917b745e4f77c8d483e5b052acd79eec89aa

Recent tagged image versions

latest 0.0.18 0.0

Published about 1 month ago · Digest
sha256:87ab932bd511ec6a55d521c24a5580370c49f09caa4dc005c37565d90c70dc33

8 Version downloads
0.0.16

Published about 1 month ago · Digest
sha256:67db04ff2520559948031040dabd8a55f2fd97c31196673a97f83a9b1e8e9d68

1 Version downloads
0.0.15

Published about 1 month ago · Digest
sha256:dd803dd3a2ac94a235bbe6adf4137d35c7765ba1aa796f147a5a6c6822dd44de

2 Version downloads
0.0.14

Published about 1 month ago · Digest
sha256:8c4a4e0203f10a4b83c8c0a311a926b1307aead758d266fab4e8fc403d34396c

2 Version downloads
0.0.13

Published about 2 months ago · Digest
sha256:ef0baf481e854a7375ade596423d4b68cdb063cc7cf2d8df8bc77d8c047d1424

7 Version downloads