Browsing French translation

165 of 54563 results
This package contains the lisp source files to the main ACL2 binary.
Ce paquet contient les fichiers sources lisp de l'exécutable principal ACL2
Translated and reviewed by Pierre Slamich on 2011-04-24
Located in Package: acl2-source
165 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.