Browsing French translation

Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
147156 of 54563 results
147.
A Computational Logic for Applicative Common Lisp: main binary
Summary
Une logique calculatoire pour Applicative Common Lisp[nbsp]: binaire principal
Translated by Michael Vogt on 2008-01-04
Located in Package: acl2
148.
This package contains the base ACL2 binary.
Description
Ce paquet contient le binaire ACL2 de base.
Translated by Michael Vogt on 2008-01-04
Reviewed by Bruno Patri on 2008-02-23
Located in Package: acl2
149.
A Computational Logic for Applicative Common Lisp: compiled libraries
Summary
Logique algorithmique pour le Common Lisp applicatif: bibliothèques compilées
Translated and reviewed by Pierre Slamich on 2012-09-22
Located in Package: acl2-books
150.
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 on 2010-03-06
Located in Package: acl2-books
151.
A Computational Logic for Applicative Common Lisp: library certificates
Summary
Logique algorithmique pour le Common Lisp applicatif: certificats des bibliothèques
Translated and reviewed by Pierre Slamich on 2012-09-22
Located in Package: acl2-books-certs
152.
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 on 2012-09-22
Located in Package: acl2-books-certs
153.
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 on 2012-09-22
Located in Package: acl2-books-source
154.
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
Description
Ce paquet contient les fichiers source lisp des bibliothèques compilées fournies dans le paquet ACL2-books.
Translated and reviewed by Pierre Slamich on 2011-07-09
Located in Package: acl2-books-source
155.
A Computational Logic for Applicative Common Lisp: documentation
Summary
Logique algorithmique pour le Common Lisp applicatif : documentation
Translated and reviewed by Pierre Slamich on 2012-09-22
Located in Package: acl2-doc
156.
This package contains the documentation for ACL2.
Description
Ce paquet contient la documentation de ACL2.
Translated by Thomas on 2011-04-20
Reviewed by Pierre Slamich on 2011-04-24
Located in Package: acl2-doc
147156 of 54563 results

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, Alexandre Franke, Anne017, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien Ribeiro, Babey, Baptiste, Bass_DR, Benitron, Bernos Guillaume, Bertrand Croq, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bruno, Bruno Avet, Bruno Patri, Béranger Dumont, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, CoudCoud, Damien H, DarkVodKa, David ., David Futcher, David Nottin, Djainette, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Florent (LSc), Florian-delaroche, GIRONE Remi, Gaëtan Godineau, Gaëtan Petit, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, JurisZombie, Kafi, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Leduc, Lentdormi, Lolopro, Louis Dubois, Maeda, Majaaaax, Marot Célestin, Max, Michael Vogt, Mika, MilkaJinka, Moneron Xavier, NSV, NaSH, Nicolas Delvaux, Nicolas Maître, Nicolas Robin, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Quentin Santander, Ralphi2811, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Stéphane, Stéphane Maniaci, Stéphane V, Sydney, Sylvie Gallet, Sébastien, Tarek, Teromene, Testing Tigerwolf, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, YannUbuntu, Yayel, Yohann, Yvance77, _Syzygy_, arkan, axelle oxford, baj, bameylan, belbeoch, bloch, bpascal123, clement62910, dpl29, electroluth, elyr, 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, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, thenasa, tiritchi, titouan le folgoc, yasmine, yeassay, ymadec.