Coq 8.6.1 is out

from OCaml Planet

Jul 25, 2017, 2:00:00 AM
Version 8.6.1 of Coq is available. It fixes several bugs of version 8.6. More information can be found in the CHANGES file. Feedback and bug reports are extremely welcome.