package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.12.1.tar.gz
sha512=39452c86a35403b4ca7427c1973b93bc4d1e0052f12a53608ca94bbd2a4f902b9fc0f58b550b7eba03c2d346e06989104e92eee0d842ec267ce69200b8aa37a6
doc/index.html
coq
API
Library config
No module.
Library coq
No module.
Library coq.clib
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.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.
On This Page
-
API
- Library config
- Library coq
- Library coq.clib
- Library coq.engine
- Library coq.gramlib
- Library coq.interp
- Library coq.kernel
- Library coq.lib
- Library coq.library
- Library coq.parsing
- Library coq.pretyping
- Library coq.printing
- Library coq.proofs
- Library coq.stm
- Library coq.tactics
- Library coq.toplevel
- Library coq.vernac