8.15.1 tagged

Developing the Rocq Prover

SkySkimmer March 22, 2022, 4:27pm 1

The tag for 8.15.1 has been set.

1 Like

Topic		Replies	Views	Activity
Coq 8.15.2 tagged Developing the Rocq Prover	0	426	May 31, 2022
Coq 8.19.0 tagged Developing the Rocq Prover	0	170	January 24, 2024
Coq 8.15 RC1 Developing the Rocq Prover	0	497	December 7, 2021
Coq 8.16.1 has been tagged Developing the Rocq Prover	0	388	November 25, 2022
Coq 8.16+rc1 has been tagged Developing the Rocq Prover	0	479	June 1, 2022