| Name : coq-doc
| |
| Version : 8.13.2
| Vendor : Fedora Project
|
| Release : 1.fc34
| Date : 2021-06-13 01:58:25
|
| Group : Unspecified
| Source RPM : coq-8.13.2-1.fc34.src.rpm
|
| Size : 104.66 MB
| |
| Packager : Fedora Project
| |
| Summary : Documentation for Coq proof management system
|
Description :
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.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/34/Everything/ppc64le/Packages/c |
