Translations by thebachman
thebachman has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.
1 → 1 of 1 result | First • Previous • Next • Last |
156. |
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.
|
|
2007-08-16 |
Ce paquet contient de nombreuses bibliothèques pré-compilées et pré-certifiées pour l'utilisation dans les preuves de théorèmes avec ACL2. Des utilisateurs sérieux voudront sans doute installer ce paquet.
|