Package Descriptions for Ubuntu

Browsing French translation

  1. Series saucy
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
59122 of 78723 results First • • • Last
59122.
This package provides documentation for Prover9, Mace4 and other associated programs.
 
Description
Ce paquet fournit la documentation pour Prover9, Mace4 et d’autres programmes associés.
Translated by Michael Vogt
Located in Package: prover9-doc
59122 of 78723 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.