Package Descriptions for Ubuntu

Browsing Swedish translation

  1. Series quantal
  2. Template “ddtp-ubuntu-universe”
  3. Swedish (sv)
  4. Browsing Swedish translation
150 of 54563 results First • • • Last
150.
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
(no translation yet)
Located in Package: acl2-books
150 of 54563 results First • • • Last

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

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