|
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
|
|
231.
|
|
|
state-of-the-art chess engine, compatible with xboard
|
|
|
Summary
|
|
|
|
motor de ajedrez de tecnología de punta, compatible con xboard
|
|
Translated by
Adolfo Jayme Barrientos
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
Package: crafty
|
|
232.
|
|
|
Crafty is the strong chess program played on ICC. It uses all of the search algorithms you have probably read about and performs better than gnu-chess in most positions. It has a reasonable set of features to use, and offers a great starting point to try your own new search extensions.
|
|
|
Description
|
|
|
|
Crafty es el programa de ajedrez más potente usado en ICC. Hace uso de todos los algoritmos de búsqueda que probablemente haya leído y los ejecuta mejor que gnu-chess en la mayoría de las posiciones. Tiene un conjunto razonable de características para usar, y ofrece un buen punto de partida para que pruebe sus propias extensiones de búsqueda.
|
|
Translated and reviewed by
Monkey
|
|
|
|
Located in
Package: crafty
|