Name : coq
| |
Version : 8.17.1
| Vendor : Fedora Project
|
Release : 5.fc39
| Date : 2023-07-27 18:32:18
|
Group : Unspecified
| Source RPM : coq-8.17.1-5.fc39.src.rpm
|
Size : 90.74 MB
| |
Packager : Fedora Project
| |
Summary : 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.
Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/39/Everything/x86_64/os/Packages/c |