Fedora Packages

rocq-core-source Subpackage of rocq

Source files of the Rocq Prelude, and the Corelib and Ltac2 modules

Rocq 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 contains the source Rocq files for the Rocq Prelude, and the Corelib and Ltac2 modules. These files are not needed to use the Rocq Prelude, and the Corelib and Ltac2 modules. They are made available for informational purposes.

Releases Overview

Release Stable Testing
Fedora Rawhide 9.1.1-1.fc45 -
Fedora 44 - 9.1.1-1.fc44
File a new bug report »
Package Info
  • Upstream: https://rocq-prover.org/
  • License(s): LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Maintainer: jjames
Related Packages

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


Sources on Pagure