package coq

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

coq 8.9.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

coq.grammar

Documentation:

  • Q_util
  • Argextend
  • Tacextend
  • Vernacextend

coq.clib

Documentation:

coq.lib

Documentation:

coq.vm

Documentation:

    coq.kernel

    Documentation:

    coq.library

    Documentation:

    coq.engine

    Documentation:

    coq.pretyping

    Documentation:

    coq.interp

    Documentation:

    coq.proofs

    Documentation:

    coq.parsing

    Documentation:

    coq.printing

    Documentation:

    coq.tactics

    Documentation:

    coq.vernac

    Documentation:

    coq.stm

    Documentation:

    coq.toplevel

    Documentation:

    coq.idetop

    Documentation:

      coq.ide

      Documentation:

        coq.plugins.ltac

        Documentation:

          coq.plugins.tauto

          Documentation:

            coq.plugins.omega

            Documentation:

              coq.plugins.romega

              Documentation:

                coq.plugins.micromega

                Documentation:

                  coq.plugins.quote

                  Documentation:

                    coq.plugins.newring

                    Documentation:

                      coq.plugins.extraction

                      Documentation:

                        coq.plugins.cc

                        Documentation:

                          coq.plugins.ground

                          Documentation:

                            coq.plugins.rtauto

                            Documentation:

                              coq.plugins.btauto

                              Documentation:

                                coq.plugins.recdef

                                Documentation:

                                  coq.plugins.nsatz

                                  Documentation:

                                    coq.plugins.natsyntax

                                    Documentation:

                                      coq.plugins.zsyntax

                                      Documentation:

                                        coq.plugins.rsyntax

                                        Documentation:

                                          coq.plugins.int31syntax

                                          Documentation:

                                            coq.plugins.asciisyntax

                                            Documentation:

                                              coq.plugins.stringsyntax

                                              Documentation:

                                                coq.plugins.derive

                                                Documentation:

                                                  coq.plugins.ssrmatching

                                                  Documentation:

                                                    coq.plugins.ssreflect

                                                    Documentation:

                                                      OCaml

                                                      Innovation. Community. Security.