@Zimmi48 Zimmi48 released this Jul 9, 2018 · 2680 commits to master since this release

Assets 7

Coq 8.8.1 includes four critical bug fixes, many other bug fixes, documentation improvements and user message improvements.

For details, see CHANGES and the 8.8.1 milestone. Feedback and bug reports are extremely welcome.


Installers for Windows 32 bits (i686), Windows 64 bits (x86_64), and macOS are available. They come bundled with CoqIDE. The Windows installers also include the option to install external packages Bignums, Equations and Ltac2.

Complete sources of the files installed by the Windows installers are made available, to comply with license requirements.