docker-leanprover sha256-e448f4b238f5d47b1953856eee9ad44f3c7c34d1ff83c0e0e7214c294b96c700 Public Latest

Install from the command line

Learn more about packages


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

Recent tagged image versions

sha256-e448f4b238f5d47b1953856eee9ad44f3c7c34d1ff83c0e0e7214c294b96c700

Published about 1 hour ago · Digest
sha256:7159ba4cf49494f5e81cbfb3fc4537582c6600cbbf1a47d0f0d04feb9b61a68a

1 Version downloads
sha256-e5f46407bb6d461397b52af59e350e3ae21062e6bb0faebea2aef0e79e1d5885

Published about 1 hour ago · Digest
sha256:b0ff77f1557118ca5604db0921da11b3d7e108b53196a1dda398210f4f3b15ba

1 Version downloads
sha256-9d3e874fd05fb64113777f825c136e371d4fa1c6b75f9432eccd09801e367d45

Published about 1 hour ago · Digest
sha256:f0bd65e395a0a1663ab2ba478f9eff6cdcaaa5428cf8a5119eff73b7f2c81be4

1 Version downloads
sha256-1d2a503cfd20810c7a8aa66582f203b9123d283209f2e6a12c84846ab13aca9b

Published about 1 hour ago · Digest
sha256:97ad8d61e880301e84baa0584b810d8fc7771c4abfcfc2f2ef7274dae9d85503

1 Version downloads
sha256-1951acfa3db97e811d0af4171316252334dd08452a938cec360e802c3aaf4dcb

Published about 1 hour ago · Digest
sha256:a0ad89f23d1558e1c88595a005a30f6a7fe9e37e00b1fd599ddbb2e7a1b777f1

1 Version downloads

View all tagged versions

Loading

Details

Last published

1 hour ago

Issues

0

Total downloads

1.42M

Contributors 3

Open an issue