Letter

coq-doc - Documentation for 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 documentation and tutorials for the system. The
main documentation comes in two parts: the main Library documentation,
which decribes all Coq.* modules, and the Reference Manual, which
gives a more complete description of the whole system. Included are
also HTML versions of both. Furthermore, there are two tutorials, the
main one, and one specifically on recursive types. The example code
for the latter is also included.

Packages

coq-doc-8.1pl4-3.fc11.i586 [4.5 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