Coq 8.19.0 tagged

Gaetan_Gilbert January 24, 2024, 12:48pm 1

The tag is set to commit a360913fdc531715a33d06c29c4ff9fb8f1c3ac0.

Topic	Replies	Views
Coq 8.15.2 tagged Developing the Rocq Prover	416	May 31, 2022
8.15.1 tagged Developing the Rocq Prover	583	March 22, 2022
Coq 8.17.0 tag has been set Developing the Rocq Prover	319	March 27, 2023
Coq 8.16.0 has been tagged Developing the Rocq Prover	427	September 5, 2022
Coq 8.16.1 has been tagged Developing the Rocq Prover	384	November 25, 2022