Release of Rocq 9.3

Developing the Rocq Prover
1

Dear all,

The branching date for the 9.3 release has been set to 2026-07-08.

More details on the schedule are available here:

Best,

Your 9.3 Release Manager