Translations by SarahSlean
SarahSlean has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.
| 1 → 3 of 3 results | First • Previous • Next • Last |
| 160. |
This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.
|
|
| 2011-12-25 |
Ce paquet contient des utilitaires et des bibliothèques pour accéder à ACL2 via une notation infix semblable à celles utilisées dans de nombreux langages de programmation non-lisp.
|
|
| 162. |
This package contains the source files to the infix interface to ACL2.
|
|
| 2011-12-25 |
Ce paquet contient les fichiers source pour l'interface infix de ACL2.
|
|
| 11413. |
ACE perfect hash function generator
|
|
| 2011-12-25 |
parfait ACE générateur de fonctions de hachage
|
|
