Core components of the 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 includes the Coq core binaries, plugins, and tools, but not the vernacular standard library.
You can contact the maintainers of this package via email at
coq dash maintainers at fedoraproject dot org.