coq

Formal proof management system

Libraries

This package provides the following libraries (via dune):

coqide-server.core

Documentation: Document

Dependencies: coq-core.boot, coq-core.lib

coqide-server.protocol

Documentation:

Dependencies: coq-core.lib