Package Descriptions for Ubuntu

Browsing French translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
156 → 165 of 57897 results First • • • Last
156.
This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.
 
Description
Ce paquet contient de nombreuses bibliothèques pré-compilées et pré-certifiées pour utilisation dans les preuves de théorèmes avec ACL2. Des utilisateurs sérieux voudront sans doute installer ce paquet.
Translated and reviewed by Pierre Slamich
Located in Package: acl2-books
157.
A Computational Logic for Applicative Common Lisp: library certificates
 
Summary
Logique algorithmique pour application Common Lisp[nbsp]: bibliothèques certifiées
Translated and reviewed by seb35690
Shared:
Logique algorithmique pour le Common Lisp applicatif: certificats des bibliothèques
Suggested by Pierre Slamich
Located in Package: acl2-books-certs
158.
This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.
 
Description
Ce fichier contient les enregistrements de certificats pour les différentes bibliothèques précompilées fournies dans le paquet ACL2-books. ACL2 nécessite essentiellement que les livres inclus soient certifiés avant utilisation.
Translated and reviewed by Pierre Slamich
Located in Package: acl2-books-certs
159.
A Computational Logic for Applicative Common Lisp: library sources
 
Summary
Logique algorithmique pour le Common Lisp applicatif : sources des bibliothèques
Translated and reviewed by Pierre Slamich
Located in Package: acl2-books-source
160.
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
 
Description
Ce paquet contient les fichiers source de lisp des librairies compilées fournies dans le paquet ACL2-books.
Translated by Alexandre Franke
Reviewed by Alexandre Franke
Shared:
Ce paquet contient les fichiers source lisp des bibliothèques compilées fournies dans le paquet ACL2-books.
Suggested by Pierre Slamich
Located in Package: acl2-books-source
161.
A Computational Logic for Applicative Common Lisp: documentation
 
Summary
Logique alogrithmique pour application Common Lisp[nbsp]: documentation
Translated and reviewed by seb35690
Shared:
Logique algorithmique pour le Common Lisp applicatif : documentation
Suggested by Pierre Slamich
Located in Package: acl2-doc
162.
This package contains the documentation for ACL2.
 
Description
Ce paquet contient la documentation pour ACL2
Translated and reviewed by NSV
Shared:
Ce paquet contient la documentation de ACL2.
Suggested by Thomas
Located in Package: acl2-doc
163.
A Computational Logic for Applicative Common Lisp: emacs interface
 
Summary
Logique alogrithmique pour application Common Lisp[nbsp]: interface emacs
Translated and reviewed by seb35690
Shared:
Logique algorithmique pour le Common Lisp applicatif : interface emacs
Suggested by Pierre Slamich
Located in Package: acl2-emacs
164.
This package contains an emacs interface to ACL2.
 
Description
Ce paquet contient une interface emacs pour ACL2
Translated and reviewed by NSV
Shared:
Ce paquet contient une interface emacs pour ACL2.
Suggested by Thomas
Located in Package: elpa-acl2
165.
A Computational Logic for Applicative Common Lisp: infix interface
 
Summary
Logique alogrithmique pour application Common Lisp[nbsp]: interface infix
Translated and reviewed by seb35690
Shared:
Logique algorithmique pour le Common Lisp applicatif : interface infix
Suggested by Pierre Slamich
Located in Package: acl2-infix
156 → 165 of 57897 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: 4E4F, AUGUSTIN BRONDINO, Abdoulaye, Alban V, Alekso42, Alexandre Franke, Anne-Rose Gratadour, Anne017, Anthony Noël, Antoine Jouve, Apophis666, Aquilon, Arnaud Assad, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, AsCi, Ash26, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Benitron, Bernos Guillaume, Bertrand Croq, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bruno, Bruno, Bruno Avet, Béranger Dumont, Cajuteq, Canbakan Axel, Carcasse, CedS, Charlie Merland, Christophe Eschbach, Christophe Painchaud, Citron28, Clarence Snickers, CoudCoud, Cyrille Grosdemange, Damien H, DarkVodKa, David ., David Bruant, David Futcher, David Nottin, David Perrenoud, David Racine, Devil505, Djainette, Djiboun, Doyen Philippe, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Fabrice Mathis, Flo Rahl, Florent (LSc), Florian-delaroche, GIRONE Remi, Gaëtan Godineau, Gaëtan Petit, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Guillaume F, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, JVC, Jean-Christophe, Jean-Christophe Baptiste, Jean-Marc, Jerod212, Joachim R., John, Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Chiquet, Julien Henry, Julien Humbert, JurisZombie, Kafi, Kolibry, Ktux, Kwakpiper, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Leduc, Lentdormi, Loic Pefferkorn, Lola Farret, Lolopro, Louis Dubois, Louis-Philippe Savoie, Macaroni, Maeda, Maijin, Majaaaax, Makidoko, Marot Célestin, Mathieu Disy, Mathieu Goeminne, Mathieu Hajder, Max, Mbarek Firas, Michael Vogt, Mika, MilkaJinka, Moneron Xavier, NSV, NaSH, Networlds, Nicolas Delvaux, Nicolas Maître, Nicolas Quenouille, Nicolas Robin, Nicolog, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Santander, Ralphi2811, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salim, Salvato-Vallverdu, SamheG, SarahSlean, Seb24, Serge Pilon, Sika, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane, Stéphane Maniaci, Stéphane V, Surfoo, Sydney, Sylvain Doctrinal, Sylvie Gallet, Sébastien, Sébastien DUMORTIER, Tarek, Teromene, Testing Tigerwolf, Thibault Févry, Thomas, Thomas LAROCHE, Thomas Quaglio, Thomas.M, Titanet, Tom Swartz, Toxxic Zad, Tubuntu, Valentin Lorentz, Xarkam, YannUbuntu, Yayel, Yohann, Yvance77, Yves MATHIEU, _Syzygy_, arkan, axelle oxford, baj, bameylan, belbeoch, bloch, bpascal123, clement62910, cocof35, davandg, deactivated--, dpl29, electroluth, elyr, evannc, fabkzo, flobe, fredurb1, gisele perreault, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, judejude, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, paulcreusat@yahoo.fr, piti, prunier charly, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, sylvain, teza, thebachman, thenasa, tiritchi, titouan le folgoc, toins, yasmine, yeassay, ymadec, Łukasz Zemczak.