|
221.
|
|
|
The web site of ConTeXt provides a plethora of documents in pdf format documenting many features of ConTeXt and friends. These documents are only available as pdf documents.
|
|
|
Description
|
|
|
|
El sitio web de ConTeXt proporciona abundantes documentos en formato pdf que documentan muchas características de ConteXt y amigos. Estos documentos estan disponibles solo como documentos pdf.
|
|
Translated and reviewed by
Monkey
|
|
|
|
Located in
Package: context-doc-nonfree
|
|
222.
|
|
|
Non-free items from the ConTeXt distribution
|
|
|
Summary
|
|
|
|
Elementos no libres de la distribución ConTeXt
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: context-nonfree
|
|
223.
|
|
|
The ConTeXt distribution contains some fonts that are not considered free from Debian perspective, which are included here.
|
|
|
Description
|
|
|
|
La distribución ConTeXt contiene algunas tipografías que no se consideran libres desde la perspectiva Debian, incluidas aquí.
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: context-nonfree
|
|
224.
|
|
|
documentation for Coq
|
|
|
Summary
|
|
|
|
documentación para Coq
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: coq-doc
|
|
225.
|
|
|
This is a dummy package which will install the documentation in html and pdf formats.
|
|
|
Description
|
|
|
|
Este es un paquete vacío que instalará la documentación en los formatos HTML y PDF.
|
|
Translated by
DiegoJ
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
Package: coq-doc
|
|
226.
|
|
|
documentation for Coq in html format
|
|
|
Summary
|
|
|
|
documentación para Coq en formato HTML
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: coq-doc-html
|
|
227.
|
|
|
This package contains its documentation and tutorials in html format.
|
|
|
Description
|
|
|
|
Este paquete contiene su documentación y los tutoriales en formato html.
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: coq-doc-html
|
|
228.
|
|
|
documentation for Coq in pdf format
|
|
|
Summary
|
|
|
|
documentación para Coq en formato pdf
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: coq-doc-pdf
|
|
229.
|
|
|
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.
|
|
|
Description
|
|
|
|
Coq es un asistente de prueba para lógica de alto nivel que permite el desarrollo de programas informáticos consistentes con su especificación formal. Está desarrollado usando Objective Caml y Camlp5.
|
|
Translated by
DiegoJ
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
Package: coq-doc-pdf
Package: coq-doc-html
Package: coq-doc
|
|
230.
|
|
|
This package contains its documentation and tutorials in pdf format.
|
|
|
Description
|
|
|
|
Este paquete contiene su documentación y los tutoriales en formato pdf.
|
|
Translated and reviewed by
Paco Molinero
|
|
|
|
Located in
Package: coq-doc-pdf
|