coq
  1. Overview
  2. Docs

coq 8.16.1

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