Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series natty
  2. Template “ddtp-ubuntu-universe”
  3. Spanish (es)
  4. Browsing Spanish translation
166 of 60113 results First • • • Last
166.
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
Este paquete contiene numerosas librerías precompiladas y precertificadas para ser utilizadas en probar teoremas con ACL2. Los usuarios serios desearán instalar ese paquete sin duda alguna.
Translated by Paco Molinero
Reviewed by Paco Molinero
Located in Package: acl2-books
166 of 60113 results First • • • Last

This translation is managed by Ubuntu Spanish Translators, assigned by Ubuntu Translators.

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