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.
Installers for Windows 32 bits (i686
), Windows 64 bits (x86_64
) and OS X are available. They come bundled with CoqIDE.
Complete sources of the files installed by the Windows installers are made available, to comply with license requirements.