package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.13.2.tar.gz
sha256=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14
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