Coq
Scan this file
Since we don’t host this file, we recommend running safety scan for this download. It’s free and only takes 1 min.
You can also
Stay safe with
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
App requirements
- Intel 64
- OS X 10.8.0 or later
Try our new feature and write a detailed review about Coq. All reviews will be posted soon.
(0 Reviews of )
There are no reviews yet
May 3 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.
Free
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
New and Recently Updated