Coq 8.13.1 is out
Submitted by Enrico Tassi on February 22nd, 2021
The Coq development team is proud to announce the immediate availability of Coq 8.13.1
Hotfix:
- Fix arities of VM opcodes for some floating-point operations that could cause memory corruption
Please see the changelog to learn more about this release.