Package Descriptions for Ubuntu

Browsing French translation

  1. Series quantal
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
150 of 54563 results First • • • Last
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
Located in Package: acl2-books
150 of 54563 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.