Coq
8.9.1
Coq for Mac8.9.1
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
Be the first one who tries our new feature and write a detailed review about
Or
Write your thoughts in our old-fashioned comment
(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.
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
