Source Package rocq

Subpackages

• rocq - Proof management system
• coq-core-compat - Compatibility binaries for Coq after the Rocq renaming
• rocq-coqide-server - The coqidetop language server
• rocq-coqide-server-devel - Development files for rocq-coqide-server
• rocq-core - The Rocq Prelude, and the Corelib and Ltac2 modules
• rocq-core-source - Source files of the Rocq Prelude, and the Corelib and Ltac2 modules
• rocq-doc - Documentation for the Rocq proof management system
• rocq-rocqide - RocqIDE for the Rocq proof management system
• rocq-runtime - Core binaries and tools of the Rocq proof management system
• rocq-runtime-devel - Development files for rocq-runtime