Coq 8.11.1 is out
Submitted by Pierre-Marie Pédrot on April 24th, 2020
The 8.11.1 release of Coq is available.
The most salient change in the 8.11.1 release is support for OCaml 4.10.0. See the changelog for more details.
The 8.11.1 release of Coq is available.
The most salient change in the 8.11.1 release is support for OCaml 4.10.0. See the changelog for more details.