Package Descriptions for Ubuntu

Browsing Brazilian Portuguese translation

  1. Series hirsute
  2. Template “ddtp-ubuntu-multiverse”
  3. Brazilian Portuguese (pt_BR)
  4. Browsing Brazilian Portuguese transla...
208 of 2204 results First • • • Last
208.
This package contains its documentation and tutorials in pdf format.
 
Description
Este pacote contém documentação e tutoriais para o Coq em formato PDF.
Translated by João Paulo Pizani Flor
Reviewed by André Gondim
Located in Package: coq-doc-pdf
208 of 2204 results First • • • Last

This translation is managed by Ubuntu Brazilian Portuguese Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.