Fedora Packages

coq-doc Subpackage of coq

Documentation for Coq proof management system

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. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes 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.

Releases Overview

Release Stable Testing
Fedora 37 8.16.0-1.fc37 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at coq dash maintainers at fedoraproject dot org.

Sources on Pagure