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

Links para coq-doc

Recursos de Debian:

Baixe o pacote-fonte coq-doc:

Mantenedores(as):

Fontes externas:

Pagina principal [coq.inria.fr]

Pacotes similares:

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.

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

Outros pacotes relacionados a coq-doc

depende

recomenda

sugere

melhora

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

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

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

JavaScript library to display math in browsers

Download de coq-doc

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
all	5.2 kB	21.0 kB	[lista de arquivos]