Paket: coq-doc (8.20.0-1) [non-free]

Länkar för coq-doc

Debianresurser:

Hämta källkodspaketet coq-doc:

Ansvariga:

Debian OCaml Maintainers (QA-sida, E-postarkiv)
Stéphane Glondu (QA-sida)
Julien Puydt (QA-sida)

Externa resurser:

Hemsida [coq.inria.fr]

Liknande paket:

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.

Märken: Software Development: Dokumentation, Made Of: HTML, Hypertext Markup Language, Role: Dokumentation, Metapackage

Andra paket besläktade med coq-doc

beror

rekommenderar

föreslår

enhances

dep: coq-doc-html (>= 8.20.0-1)

documentation for Coq in html format
dep: coq-doc-pdf (>= 8.20.0-1)

documentation for Coq in pdf format
dep: node-mathjax-full

JavaScript library to display math in browsers

Hämta coq-doc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
all	5,2 kbyte	21,0 kbyte	[filförteckning]