Browsing French translation

152 of 54563 results
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
152 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.