docker-leanprover

Install from the command line

Learn more about packages


    
  
      
      $ docker pull ghcr.io/reaslab/docker-leanprover:sha256-0d44fee0a73089b30a56224fc7ace66a2d6f1dcce131e920d63d7cb9d91ca7f9

Recent tagged image versions

sha256-0d44fee0a73089b30a56224fc7ace66a2d6f1dcce131e920d63d7cb9d91ca7f9

Published about 5 hours ago · Digest
sha256:6acb198fb5545566a24d98b59410cea19c3ff31b38f5f06500ef44792a021f5f

1 Version downloads
sha256-74a2b96ccea5fa9be7277da9e2a1488a64538b3e69280e424bcbcc9d1215d18a

Published about 5 hours ago · Digest
sha256:7b48b1a4d2dabf73a3df4e2b9b92b22e334bf3925d245e1d5a62b77795266d19

1 Version downloads
sha256-8f1c05ed18c067591d0ef7a0d70a84999ea519a34390545a3b44f8f944e7dcff

Published about 5 hours ago · Digest
sha256:4f901020cca9641778ec822f39cd9f15e0497260eba72eeadccaeb52aac63e4f

1 Version downloads
sha256-45db8b3dcea100a0542d75ea435f413b336e60b888640fbe7d5b66826b28178c

Published about 5 hours ago · Digest
sha256:dfa630ad63a4c3f3528c50528b95e600a2f047655503dfdc3e3fbf2010b8465d

1 Version downloads
sha256-1e825c880657e33261257b37fe7a6057ae82f33702b613b227e8cbad4f4de15b

Published about 5 hours ago · Digest
sha256:5143709866ab96cd7eaea27b585edd6214b2eed2a0e52cb5b79d916a2f3d2d4b

1 Version downloads

View all tagged versions

Loading

Details

Last published

5 hours ago

Issues

0

Total downloads

82.7K

Contributors 2

Open an issue