Coq 8.8+beta1 is out
Submitted by Maxime Dénès on 19 Mar 2018
The first beta
release of Coq 8.8 is available for testing. It features better
performances, tactic improvements, many enhancements for universe users, a new
Export modifier for setting options, support for goal selectors in front of
focusing brackets and a new experimental -mangle-names option for linting proof
scripts.
Feedback and bug reports are extremely welcome.