Coq
Coq
8.9.1
3.8
0.0
Coq free download for Mac

Coq for Mac8.9.1

15 July 2019

Formal proof management system for mathematics.

What is Coq for Mac

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
How would you rate Coq?
MacUpdate Comment Policy. We strongly recommend leaving comments, however comments with abusive words, bullying, personal attacks of any type will be moderated.
0.0
(0 Reviews of )
There are no reviews yet
Guest
Guest
May 3 2004
8.0
3.5
May 3 2004
3.5
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.
Guest
Guest
May 1 2004
8.0
3.5
May 1 2004
3.5
Version: 8.0
I can't get coq to work.
Guest
Guest
May 1 2004
8.0
3.5
May 1 2004
3.5
Version: 8.0
Coq rulez !
Free
3.8
0.0
App requirements: 
  • Intel 64
  • OS X 10.8.0 or later

Downloaded & Installed 2,952 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