Be notified of new releases
Create your free GitHub account today to subscribe to this repository for new releases and build software alongside 28 million developers.Sign up
- coq-8.7.1-1-installer-macos.dmg 68.4 MB
- coq-8.7.1-installer-windows-i686.exe 54.8 MB
- coq-8.7.1-installer-windows-x86_64.exe 55.6 MB
- coq-8.7.1-opensource-archive-windows-i686.zip 392 MB
- coq-8.7.1-opensource-archive-windows-x86_64.zip 392 MB
- coq-8.7.1-reference-manual.pdf 1.85 MB
- Source code (zip)
- Source code (tar.gz)
Version 8.7.1 of Coq is available. It brings compatibility with OCaml 4.06.0, many bug fixes, documentation improvements, and user message improvements (for details see the 8.7.1 milestone).
Installers for Windows 32 bits (
i686), Windows 64 bits (
x86_64) and macOS are available. They come bundled with CoqIDE. Note that the macOS installer was updated on 2018-01-08 to fix frequent crashes of CoqIDE due to the use of an outdated dependency.
Complete sources of the files installed by the Windows installers are made available, to comply with license requirements.