Thank you for your review
Developer website: 

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

Requirements for Coq

  • OS X 10.8 or later
Similar Software
Suggest other similar software
Create a collection and add  to it.
Like this app? Be the first to add it to a collection! Create a Collection by bringing together complementary apps that have a common theme or purpose, then share it and discover new collections! + Create a Collection

Coq User Discussion

3.8 2
Current Version (8.x)
Downloads 2,853
Version Downloads 0
License Free
Date 15 Jul 2019
Platform Intel 64 / OS X
Price Free
To leave a comment, you need to be logged in.
Sort by: Time | Smiles
Coq needs a rating. Be the first to rate this app and get the discussion started!
MacUpdate Promo