package coq

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

For legacy support, do not use

Module `DeclareInd.Internal`Source

For legacy support, do not use

Sourcetype inductive_obj

Sourceval objInductive : inductive_obj Libobject.Dyn.tag