Package Descriptions for Ubuntu

Browsing German translation

  1. Series impish
  2. Template “ddtp-ubuntu-multiverse”
  3. German (de)
  4. Browsing German 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 ist ein Beweis-Assitent für höherwertige Logik, welcher Ihnen die Entwicklung von Programmen ermöglicht, die ihren formalen Anforderungen entsprechen. Es wird mittels Objective Caml und Camlp5 entwickelt.
Translated and reviewed by Hendrik Schrieber
Located in Package: coq-doc-pdf Package: coq-doc-html Package: coq-doc
207 of 2207 results First • • • Last

This translation is managed by Ubuntu German Translators, assigned by Ubuntu Translators.

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