Docker image of the Rocq Prover (rocq/rocq-prover:9.0)

Announcements
2

Dear Rocq users and developers,

The Rocq Prover 9.0.0 has been released on Docker Hub (list of available images).

To be more precise, according to our release workflow (which is common from a Docker PoV):

  • the 9.0-rc1 tag (and its variants) were removed
  • the 9.0.0 tag (and its variants) were added
  • the 9.0 tag (and its variants) are kept and now point to version 9.0.0
  • a latest tag was added and points to the last stable release.