rocq-stdlib-source Subpackage of rocq-stdlib

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 standard library. These files are not needed to use the standard library. They are made available for informational purposes.

Releases Overview