Coq 8.11.2 is out
Submitted by Pierre-Marie Pédrot on June 9th, 2020
The 8.11.2 release of Coq is available.
This version brings in a few minor fixes. See the changelog for more details.
The 8.11.2 release of Coq is available.
This version brings in a few minor fixes. See the changelog for more details.