Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series oneiric
  2. Template “ddtp-ubuntu-universe”
  3. Spanish (es)
  4. Browsing Spanish translation
170 of 63410 results First • • • Last
170.
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
170 of 63410 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.