Pacote: coq-doc-html (8.20.0-2) [non-free]

Links para coq-doc-html

Recursos de Debian:

Baixe o pacote-fonte coq-doc:

Mantenedores(as):

Fontes externas:

Pagina principal [coq.inria.fr]

Pacotes similares:

documentation for Coq in html format

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 package contains its documentation and tutorials in html format.

Etiquetas: Desenvolvimento de software: Documentação, Feito de: HTML, linguagem de marcação de hipertexto, Função: Documentação

Outros pacotes relacionados a coq-doc-html

depende

recomenda

sugere

melhora

dep: libjs-jquery (>= 3.6.0)

JavaScript library for dynamic web applications
dep: libjs-sphinxdoc (>= 8.1)

JavaScript support for Sphinx documentation
dep: sphinx-rtd-theme-common (>= 3.0.2+dfsg)

sphinx theme from readthedocs.org (common files)

Download de coq-doc-html

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
all	1,672.2 kB	22,281.0 kB	[lista de arquivos]