Coq 8.12.2 is out
Submitted by Emilio Gallego Arias and Théo Zimmermann on December 11th, 2020
We are happy to announce the release of Coq 8.12.2.
This release fixes two impacting 8.12 regressions (in notations and the implicit argument inference of the exists tactic). See the changelog for details.