Skip to content

rocq-platform_base 2026.01 Public Latest

Install from the command line
Learn more about packages
$ docker pull ghcr.io/rocq-prover/rocq-platform_base:2026.01

Recent tagged image versions

  • 2026.01
    Published 10 days ago · Digest
    sha256:5e553eea8ae61d7b58d3e30268b04b77ad9d66af0c5a61832a4d8ef26fba474b
    0 Version downloads
  • 2025.08.3
    Published 3 months ago · Digest
    sha256:f145a5a5622225de129d6b0c332d76c2a2d9536dfd30c3026fce200b55986245
    1 Version downloads
View all tagged versions

Loading

Details

Last published

10 days ago

Issues

68

Total downloads

1