index.mld - coq (a9a05f09-3bd0-40d2-a077-6b56e9a2974b/main)

Tree @a9a05f09-3bd0-40d2-a077-6b56e9a2974b/main (Download .tar.gz)

.github
checker
clib
config
coqpp
debian
dev
doc
engine
gramlib
ide
interp
kernel
lib
library
man
parsing
plugins
pretyping
printing
proofs
stm
sysinit
tactics
test-suite
theories
tools
topbin
toplevel
user-contrib
vernac
.gitlab-ci.yml
.ocamlformat
.ocamlinit
CODE_OF_CONDUCT.md
configure
CONTRIBUTING.md
coq-core.opam
coq-core.opam.template
coq-doc.opam
coq-stdlib.opam
coq.opam
coq.opam.docker
coqide-server.opam
coqide.opam
CREDITS
default.nix
dune
dune-project
index.mld
INSTALL.md
install.sh
LICENSE
Makefile
Makefile.build
Makefile.ci
Makefile.common
Makefile.dev
Makefile.doc
Makefile.dune
Makefile.ide
Makefile.install
Makefile.make
Makefile.vofiles
README.md
shell.nix

index.mld @a9a05f09-3bd0-40d2-a077-6b56e9a2974b/main — raw · history · blame

{0 coq }

The coq package is a virtual package gathering the coq-core and coq-stdlib packages.

For the documentation of the OCaml API of Coq, see the {{: ../coq-core/index.html } coq-core } package.