package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type

coq 8.7.1+1

Libraries

This package provides the following libraries (via ocamlobjinfo):

coq.lib

Documentation:

    coq.vm

    Documentation:

      coq.kernel

      Documentation:

      coq.library

      Documentation:

      coq.engine

      Documentation:

      coq.pretyping

      Documentation:

      coq.interp

      Documentation:

      coq.grammar

      Documentation:

      • Q_util
      • Argextend
      • Tacextend
      • Vernacextend

      coq.proofs

      Documentation:

      coq.parsing

      Documentation:

      coq.printing

      Documentation:

      coq.tactics

      Documentation:

      coq.vernac

      Documentation:

      coq.stm

      Documentation:

      coq.toplevel

      Documentation:

      coq.highparsing

      Documentation:

      coq.idetop

      Documentation:

        coq.ide

        Documentation:

          coq.ltac

          Documentation: