Coq free download for Mac

Coq8.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

Join over 500,000 subscribers.

Subscribe for our newsletter with best Mac offers from MacUpdate.

How would you rate Coq app?

3 Reviews of Coq

4
Anonymous
01 May 2004
Version: 8.0

Most helpful

Coq rulez !
(0)
Anonymous
03 May 2004
Version: 8.0
Packagers need to spend some time (re-)learning UNIX best practices. Installing directly into /usr (instead of /usr/local) is bad form.
(0)
Show comment (1)
3.5
Anonymous
01 May 2004
Version: 8.0
I can't get coq to work.
(0)
4
Anonymous
01 May 2004
Version: 8.0
Coq rulez !
(0)
Free

3.8

App requirements: 
  • Intel 64
  • OS X 10.8.0 or later

Downloaded & Installed 2,943 times

Similar apps
Mathematica
Mathematica
Advanced mathematics, visualization, and more.
Is this app is similar to Mathematica? Vote to improve the quality of this list.
Vote results
1
Upvotes
1
Total score
0
Downvotes
Eigenmath
Eigenmath
Symbolic math program.
Is this app is similar to Eigenmath? Vote to improve the quality of this list.
Vote results
1
Upvotes
1
Total score
0
Downvotes
MathBoard
MathBoard
Learn math the fun and easy way.
Is this app is similar to MathBoard? Vote to improve the quality of this list.
Vote results
1
Upvotes
1
Total score
0
Downvotes