Package Descriptions for Ubuntu

Browsing French translation

  1. Series saucy
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
59098 of 78723 results First • • • Last
59098.
This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)
 
Description
Ce paquet fournit la prise en charge de Proof General pour Coq. (Il n’existe pas d’autres assistant de preuve pouvant être raisonnablement pris en charge.)
Translated by Michael Vogt
Located in Package: proofgeneral
59098 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.