package coq

  1. Overview
  2. Docs
Formal proof management system

Install 

dune-project
 Dependency

coq.inria.fr Edit opam file Versions (38)

Authors

  1. T
    The Coq development team, INRIA, CNRS, and contributors.

Maintainers

  1. C
    coqdev@inria.fr

Sources

coq-8.12.1.tar.gz
sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6

doc/index.html

coq

API

Library coq

No module.

Library coq.clib

No module.

Library coq.config

No module.

Library coq.engine

No module.

Library coq.gramlib

No module.

Library coq.interp

No module.

Library coq.kernel

No module.

Library coq.lib

No module.

Library coq.library

No module.

Library coq.parsing

No module.

Library coq.plugins

No module.

Library coq.pretyping

No module.

Library coq.printing

No module.

Library coq.proofs

No module.

Library coq.stm

No module.

Library coq.tactics

No module.

Library coq.toplevel

No module.

Library coq.vernac

No module.