Package Descriptions for Ubuntu

Browsing French translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
513 of 57897 results First • • • Last
513.
Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor.
 
Description
Alt-Ergo est à la fois sûr et modulaire[nbsp]: chaque boîte est décrite par un petit ensemble de règles d'inférence et est implémenté en tant que functor OCaml.
Translated by Michael Vogt
Located in Package: alt-ergo
513 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.