Browsing French translation

156 of 54563 results
156.
This package contains the documentation for ACL2.
Description
Ce paquet contient la documentation de ACL2.
Translated by Thomas
Reviewed by Pierre Slamich
Located in Package: acl2-doc
156 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.