coq.theory

See the documentation on the coq.theory, coq.extraction, coq.pp, and related stanzas.