Package Descriptions for Ubuntu

Browsing Brazilian Portuguese translation

  1. Series raring
  2. Template “ddtp-ubuntu-multiverse”
  3. Brazilian Portuguese (pt_BR)
  4. Browsing Brazilian Portuguese transla...
218 of 1873 results First • • • Last
218.
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 alta ordem, que permite o desenvolvimento de programas de computador contistentes com suas novas especificações formais. Ele é desenvolvido usando Objective Caml e Camlp5.
Translated and reviewed by André Gondim
Located in Package: coq-doc-pdf Package: coq-doc-html Package: coq-doc
218 of 1873 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.