all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq-doc  ]

Package: coq-doc (8.16.1-1) [non-free]

Links for coq-doc

Screenshot

Debian Resources:

Download Source Package coq-doc:

Maintainers:

External Resources:

Similar packages:

documentation for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This is a dummy package which will install the documentation in html and pdf formats.

Other Packages Related to coq-doc

  • depends
  • recommends
  • suggests
  • enhances

Download coq-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 4.8 kB20.0 kB [list of files]