We stand with Ukraine to help keep people safe. Join us
Coq free download for Mac

Coq

Version 8.9.1

Formal proof management system for mathematics.

3.5
Based on 1 user rateRead reviews & comments

Coq 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 version 8.9.1

Updated on Jul 15 2019

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

Information

License

Free

Size

102.7 MB

Developer’s website

https://coq.inria.fr

Downloads

2986

App requirements

  • Intel 64
  • OS X 10.8 or later
Try our new feature and write a detailed review about Coq. All reviews will be posted soon.
Write your thoughts in our old-fashioned comment
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 !
How would you rate Coq?
Similar apps
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
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
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