Categories Desktop Apps For You

Coq

Name: Coq
Rating: 3.75 (5 reviews)

8.9.1

15 July 2019

Formal proof management system for mathematics.

Follow this app Developer website

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

3 Coq Reviews

Rate this app:

Anonymous

01 May 2004

Most helpful

Coq rulez !

Version 8.0

Anonymous

03 May 2004

Packagers need to spend some time (re-)learning UNIX best practices. Installing directly into /usr (instead of /usr/local) is bad form.

Version 8.0

1 answer(s)

Hugo Herbelin

07 May 2004

The MacOS X package used to be installed in /usr/local but the last version (8.0) was accidentally packaged for an installation in /usr. But notice that the usage quite depends on the different packaging policies. For instance, redhat packages on linux are commonly installed in /usr.

Version 8.0

Anonymous

01 May 2004

I can't get coq to work.

Version 8.0

Anonymous

01 May 2004

Coq rulez !

Version 8.0