Coq
Coq
8.9.1

3.8

Coq free download for Mac

Coq

8.9.1
15 July 2019

Formal proof management system for mathematics.

Overview

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

What's new in Coq

Version 8.9.1:
Main changes:
  • Some quality-of-life bug fixes
  • Many improvements to the documentation
  • A critical bug fix related to primitive projections and native_compute
  • Several additional Coq libraries shipped with the Windows installer

3 Coq Reviews

Rate this app:

Anonymous
01 May 2004

Most helpful

Coq rulez !
Like
Version 8.0
Anonymous
03 May 2004
Packagers need to spend some time (re-)learning UNIX best practices. Installing directly into /usr (instead of /usr/local) is bad form.
Like
Version 8.0
1 answer(s)
Hugo Herbelin
Hugo Herbelin
07 May 2004
The MacOS X package used to be installed in /usr/local but the last version (8.0) was accidentally packaged for an installation in /usr. But notice that the usage quite depends on the different packaging policies. For instance, redhat packages on linux are commonly installed in /usr.
Like
Version 8.0
Anonymous
01 May 2004
I can't get coq to work.
Like
Version 8.0
Anonymous
01 May 2004
Coq rulez !
Like
Version 8.0
Free

3.8

App requirements: 
  • Intel 64
  • OS X 10.8.0 or later
Category: 
Developer Website: 
Download(102.7 MB)MacUpdateInstall with MacUpdate

Downloaded & Installed 2,900 times