Letter

coq - Coq proof management system

Website: http://coq.inria.fr/
License: LGPLv2
Vendor: Fedora Project
Description:
Coq is a formal proof management system. It allows for the development
of theorems through first order logic that are mechanically checked by
the machine. Sets of definitions and theorems can be saved as compiled
modules and loaded into the system.

This package provides the main Coq binary without an optional IDE,
Coqide.

Packages

coq-8.1pl4-3.fc11.ppc64 [17.3 MiB] Changelog by Alan Dunn (2009-03-04):
- Minor change to cmxa-install patch instruction
- Fixed to work with lablgtk 2.12

Listing created by Repoview-0.6.3-1.fc11