Balík: coq-doc (8.19.1-2) [non-free]

Odkazy pre coq-doc

Zdroje Debian:

Stiahnuť zdrojový balík coq-doc:

Správcovia:

Externé zdroje:

Domovská stránka [coq.inria.fr]

Podobné balíky:

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.

Značky: Software Development: Dokumentácia, Made Of: HTML, Hypertext Markup Language, Role: Dokumentácia, Metapackage

Ostatné balíky súvisiace s balíkom coq-doc

závisí

odporúča

navrhuje

vylepšuje

dep: coq-doc-html (>= 8.19.1-2)

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

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

JavaScript library to display math in browsers

Stiahnuť coq-doc

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	5.2 kB	21.0 kB	[zoznam súborov]