Package Descriptions for Ubuntu

Browsing French translation

  1. Series utopic
  2. Template “ddtp-ubuntu-multiverse”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
216 → 225 of 1911 results First • • • Last
216.
documentation for Coq
 
Summary
documentation pour Coq
Translated and reviewed by Pierre Slamich
Located in Package: coq-doc
217.
This is a dummy package which will install the documentation in html and pdf formats.
 
Description
Il s'agit d'un paquet factice qui va installer la documentation en formats html et pdf.
Translated and reviewed by Pierre Slamich
Located in Package: coq-doc
218.
documentation for Coq in html format
 
Summary
documentation de Coq au format html
Translated and reviewed by Pierre Slamich
Located in Package: coq-doc-html
219.
This package contains its documentation and tutorials in html format.
 
Description
Ce paquet contient la documentation et des tutoriels au format html.
Translated and reviewed by Pierre Slamich
Located in Package: coq-doc-html
220.
documentation for Coq in pdf format
 
Summary
documentation de Coq au format pdf
Translated and reviewed by Pierre Slamich
Located in Package: coq-doc-pdf
221.
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
 
Description
Coq est un assistant de preuve pour la logique d'ordre supérieur, qui permet le développement de programmes informatiques compatibles avec leur spécification formelle. Il est développé en utilisant Objective Caml et Camlp5.
Translated and reviewed by Pierre Slamich
Located in Package: coq-doc-pdf Package: coq-doc-html Package: coq-doc
222.
This package contains its documentation and tutorials in pdf format.
 
Description
Ce paquet contient la documentation et des tutoriels au format pdf.
Translated and reviewed by Pierre Slamich
Located in Package: coq-doc-pdf
223.
state-of-the-art chess engine, compatible with xboard
 
Summary
Moteur d'échecs dernière génération, compatible avec xboard
Translated and reviewed by Pierre Slamich
Located in Package: crafty
224.
Crafty is the strong chess program played on ICC. It uses all of the search algorithms you have probably read about and performs better than gnu-chess in most positions. It has a reasonable set of features to use, and offers a great starting point to try your own new search extensions.
 
Description
Crafty est un puissant programme d'Echecs joué sur CPI. Il utilise tous les algorithmes de recherche dont vous avez déjà probablement entendu parler et fait mieux que gnu-chess dans la plupart des situations. Il a une bonne gamme de fonctionnalités à utiliser, et offre un excellent point de départ pour essayer vos propres extensions de recherche.
Translated and reviewed by Pierre Slamich
Located in Package: crafty
225.
bitmap images for crafty chess game annotation mode
 
Summary
Images bitmap pour le mode d'annotation du jeu d'échecs crafty
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: crafty-bitmaps
216 → 225 of 1911 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.

Contributors to this translation: Anne017, Antoine LINARD, ArnaultVandeveld, Bruno, Christophe CATARINA, Djedail, Gaut-007, Gaëtan Petit, Geoffrey, Havok Novak, Ir0nsh007er, Jean-Marc, Julien Henry, LJ Yod, Lionel Montrieux, Louis Dubois, Michael Vogt, Mika, Nicolas DERIVE, Pascal Maugendre, Patrick Fiquet, Paul Darby, Paul Forget, Philip Millan, Pier-Luc Ducharme, Pierre David, Pierre Slamich, Pierre-Alexandre Racine, RL, Simon THOBY, Steve Langasek, Sylvie Gallet, Séverin Lemaignan, Tehnloss, Teromene, Thibault Févry, Tubuntu, Valentin Louf, WhimsicalAbyss, Xavier Besnard, Y Desmouceaux, flobe, gisele perreault, gobleetalbaron@hotmail.fr, kidpaddle, lannuzel, londumas, micro38, none, seb35690, vovd, Łukasz Zemczak.