Package Descriptions for Ubuntu

Browsing French translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
156 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
156 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.