Source Package coq

Subpackages

• coq - Proof management system
• coq-coqide - Coqide IDE for Coq proof management system
• coq-coqide-server - The coqidetop language server
• coq-core - Core components of the coq proof management system