|
|
184.
|
|
|
ConTeXt documentation that is not DFSG free
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: context-doc-nonfree
|
|
|
185.
|
|
|
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
|
|
|
|
|
A página do ConTeXt fornece uma grande variedade de documentos em formato PDF, que descrevem várias funcionalidades do ConTeXt e similares. Esses documentos estão disponíveis somente em formato PDF.
|
|
Translated and reviewed by
Rafael Neri
|
|
|
|
Located in
Package: context-doc-nonfree
|
|
|
186.
|
|
|
Non-free items from the ConTeXt distribution
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: context-nonfree
|
|
|
187.
|
|
|
The ConTeXt distribution contains some fonts that are not considered free from Debian perspective, which are included here.
|
|
|
Description
|
|
|
|
|
A distribuição ConTeXt contém algumas fontes que não são consideradas livres sob a perspectiva do Debian, portanto são incluídas neste pacote.
|
|
Translated and reviewed by
Rafael Neri
|
|
|
|
Located in
Package: context-nonfree
|
|
|
188.
|
|
|
documentation for Coq
|
|
|
Summary
|
|
|
|
|
documentação para o Coq
|
|
Translated and reviewed by
Rafael Neri
|
|
|
|
Located in
Package: coq-doc
|
|
|
189.
|
|
|
This is a dummy package which will install the documentation in html and pdf formats.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: coq-doc
|
|
|
190.
|
|
|
documentation for Coq in html format
|
|
|
Summary
|
|
|
|
|
documentação para o Coq em formato HTML
|
|
Translated and reviewed by
Rafael Neri
|
|
|
|
Located in
Package: coq-doc-html
|
|
|
191.
|
|
|
This package contains its documentation and tutorials in html format.
|
|
|
Description
|
|
|
|
|
Este pacote contém documentação e tutoriais para o Coq em formato HTML.
|
|
Translated and reviewed by
Rafael Neri
|
|
|
|
Located in
Package: coq-doc-html
|
|
|
192.
|
|
|
documentation for Coq in pdf format
|
|
|
Summary
|
|
|
|
|
documentação para o Coq em formato PDF
|
|
Translated and reviewed by
Rafael Neri
|
|
|
|
Located in
Package: coq-doc-pdf
|
|
|
193.
|
|
|
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 é um assistente de prova para lógica de ordem superior, que permite o desenvolvimento de programas de computador coerente com suas especificações formais. Ele é desenvolvido usando Objective Caml e Camlp5.
|
|
Translated and reviewed by
Rafael Neri
|
|
|
|
Located in
Package: coq-doc-pdf
Package: coq-doc-html
Package: coq-doc
|
