Package Descriptions for Ubuntu

Browsing Italian translation

  1. Series impish
  2. Template “ddtp-ubuntu-multiverse”
  3. Italian (it)
  4. Browsing Italian translation
207 of 2207 results First • • • Last
207.
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 è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.
Translated and reviewed by Gianfranco Frisani
Located in Package: coq-doc-pdf Package: coq-doc-html Package: coq-doc
207 of 2207 results First • • • Last

This translation is managed by Traduttori Italiani del software di Ubuntu, assigned by Ubuntu Translators.

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