Coq
8.9.1
Coq
8.9.1Formal proof management system for mathematics.
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.
Coq Screenshots
Free
App requirements:
- Intel 64
- OS X 10.8.0 or later
Category:
Developer Website:
Install with MacUpdateDownloaded & Installed 2,915 times
App of the week
New Apps
Math Calculator
Supports multiple hex conversions (was Hex Converter).
PhySyCalc
Full calculations with unit conversion.
GraphCalcPro
Full featured calculator with 2D graphing capability.
Basic Areas Formulas
Easy-to-use calculator for area calculations.
Frink
Practical calculating tool.
Easy Chi Square Calculator
Conduct the chi-square test of independance.
3 Coq Reviews
Rate this app:
Most helpful