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 includes the Rocq Standard Library, that is to say, the set
of modules usually bound to the Stdlib.* namespace.
rocq-stdlib-9.1.0-1.fc45.src.rpm
For the purpose of submitting this package to Fedora, here is the RPM spec file.