Package Descriptions for Ubuntu

Browsing French translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
1495 of 57897 results First • • • Last
1495.
In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties.
 
Description
De plus, ATS contient une composante ATS/LF qui gère une forme (interactive) de vérification de théorème, où les preuves sont construites comme des fonctions totales. Avec cette composante, ATS prône un style de programmation combinant la programmation avec la preuve de théorème. Par ailleurs, cette composante peut être utilisée comme un cadre logique pour encoder divers systèmes de déduction et leurs (méta-)propriétés.
Translated by Steve Langasek
Located in Package: ats2-lang
1495 of 57897 results First • • • Last

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

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