Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
61081 of 82199 results First • • • Last
61081.
Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.
 
Description
«[nbsp]Proof General[nbsp]» est un mode majeur d'Emacs pour le transformer en système d’assistant de preuves interactif afin d'écrire des preuves mathématiques formelles en utilisant toute une variété de théorèmes.
Translated by Michael Vogt
Located in Package: proofgeneral-doc Package: proofgeneral
61081 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.