docker-leanprover sha256-18329e65e4dc3f41d931cd198b3813167833240f88d53293084428e6db28fe78 Public Latest

Install from the command line

Learn more about packages


    
  
      
      $ docker pull ghcr.io/reaslab/docker-leanprover:sha256-18329e65e4dc3f41d931cd198b3813167833240f88d53293084428e6db28fe78

Recent tagged image versions

sha256-18329e65e4dc3f41d931cd198b3813167833240f88d53293084428e6db28fe78

Published about 5 hours ago · Digest
sha256:a348358a65753363d39d9367f5d2c89e05d03ec8f148c37b5120e149c5865c83

1 Version downloads
sha256-232b66f09558e019e097c7a37d5a7202ed13bddcd374de640d03ffd781d05546

Published about 5 hours ago · Digest
sha256:5349d7b43104f600c728b8e6e7f60984d704a4be4e855ba004ca261643e553fc

1 Version downloads
sha256-87a5107da36cfcf23e01a1af528cd2dfc16019285cf9e4e2a3519b094fb03b78

Published about 5 hours ago · Digest
sha256:35488f62421931480bc8abc55f593a1fea03d6793ba02c743005cb5c90885437

1 Version downloads
sha256-03e2dbb1b998eae671725ba43a07e45788616f1e73c54ad48fbf5cf2b55b4e7e

Published about 5 hours ago · Digest
sha256:13b8ecd5c28e9df84d5c34b425793a0d4c496cf35dbdd30d45b6827186a45ed4

1 Version downloads
sha256-d9704f0a38960c8afe192dd5aaa1de613dfdb5d8415f5902f7b69667d9b53c6c

Published about 5 hours ago · Digest
sha256:50665f46ab75aaa04ab7b278d077335a4997ef77a679d3996baae08b8e2e4d0b

1 Version downloads

View all tagged versions

Loading

Details

Last published

5 hours ago

Issues

0

Total downloads

222K

Contributors 2

Open an issue