index.mld « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/index.mld

blob: 3a1979bc627fff464998591f0e3e1b3b5e0789ea (plain)

1
2
3

{0 coq-doc }

The coq-doc package only contains user documentation on the Coq proof assistant and no OCaml library.