Coq 8.15.2 tagged

Developing the Rocq Prover

Gaetan_Gilbert May 31, 2022, 11:49am 1

The tag for 8.15.2 has been set.

Topic		Replies	Views	Activity
8.15.1 tagged Developing the Rocq Prover	0	581	March 22, 2022
Coq 8.17.0 tag has been set Developing the Rocq Prover	0	318	March 27, 2023
Coq 8.16.0 has been tagged Developing the Rocq Prover	0	426	September 5, 2022
Coq 8.16.1 has been tagged Developing the Rocq Prover	0	384	November 25, 2022
Coq 8.19.0 tagged Developing the Rocq Prover	0	161	January 24, 2024