package coq
Formal proof management system
Install
dune-project
Dependency
Authors
Maintainers
Sources
coq-8.13.1.tar.gz
sha256=95e71b16e6f3592e53d8bb679f051b062afbd12069a4105ffc9ee50e421d4685
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.
On This Page
-
API
- Library coq
- Library coq.clib
- Library coq.config
- Library coq.engine
- Library coq.gramlib
- Library coq.interp
- Library coq.kernel
- Library coq.lib
- Library coq.library
- Library coq.parsing
- Library coq.plugins
- Library coq.pretyping
- Library coq.printing
- Library coq.proofs
- Library coq.stm
- Library coq.tactics
- Library coq.toplevel
- Library coq.vernac