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.
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
How would you rate Coq app?
3 Reviews of Coq
Most helpful