Thank you for your review
Developer website: 

Top community discussions about Coq

Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows:
  • the definition of interactively evaluated functions or predicates,
  • to state mathematical theorems and software specifications,
  • to develop interactively formal proofs of these theorems,
  • to check these proofs by a small certification "kernel".
Coq is based on a logical framework called "Calculus of Inductive Constructions" extended by a modular development system for

Requirements for Coq

Mac OS X 10.1 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,827
Version Downloads 1,946
License Free
Date 01 May 2004
Platform OS X / PPC 32
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