Translations by Łukasz Cieśluk
Łukasz Cieśluk has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.
| 1 → 2 of 2 results | First • Previous • Next • Last |
| 156. |
This package contains the documentation for ACL2.
|
|
| 2012-11-20 |
Ten pakiet zawiera dokumentację dla ACL2.
|
|
| 183. |
results captured by using acovea
|
|
| 2012-11-20 |
wyniki przechwycone za pomocą acovea
|
|
