package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.11.2.tar.gz
sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c
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