Browsing French translation

162 of 54563 results
This package contains the source files to the infix interface to ACL2.
Ce paquet contient les fichiers source pour l'interface infix de ACL2.
Translated by SarahSlean on 2011-12-25
Reviewed by Pierre Slamich on 2011-12-31
Located in Package: acl2-infix-source
162 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.