Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
11183 of 82199 results First • • • Last
11183.
Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things.
 
Description
Formed est un éditeur de formules pour les formules de logique du premier ordre qui vous permet de simplifier les formules quantifiées par transformation de quantificateur entre autres.
Translated by Anne017
Reviewed by Jean-Marc
Located in Package: formed
11183 of 82199 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.