package coq

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

coq 8.7.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

coq.lib

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: