Package Descriptions for Ubuntu

Browsing Italian translation

  1. Series hirsute
  2. Template “ddtp-ubuntu-universe”
  3. Italian (it)
  4. Browsing Italian translation
230 of 128554 results First • • • Last
230.
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
Questo pacchetto contiene numerose librerie precompilate e precertificate utili per verificare teoremi con ACL2. Gli utenti più esigenti vorranno senza dubbio installare questo pacchetto.
Translated and reviewed by Gianfranco Frisani
Located in Package: acl2-books
230 of 128554 results First • • • Last

This translation is managed by Traduttori Italiani del software di Ubuntu, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.