-
V8.8.1
Version 8.8.1 of the Coq proof assistant. Includes four critical bug fixes, many other bug fixes, documentation improvements and user message improvements. See CHANGES for details.
-
V8.8+beta1
Version 8.8+beta1 of Coq
-
V8.7.2
Version 8.7.2 of Coq. It fixes a critical bug in the VM handling of universes (#6677). This bug affected all releases since 8.5. Other changes include improved support for building with OCaml 4.06.0 and external num package, many other bug fixes, documentation improvements, and user message improvements (for details, see the 8.7.2 milestone at https://github.com/coq/coq/milestone/11?closed=1).
-
-
V8.8+alpha
The V8.8+alpha tag marks the first commit not present in v8.7.
-
-
-
V8.7+beta1
Version 8.7+beta1
-
-
-
-
-
-
-
-
-
-