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