معرفی شرکت ها
acl2-bridge-1.0
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | - |
| نام فایل | acl2-bridge-1.0 |
| نام | acl2-bridge |
| نسخه کتابخانه | 1.0 |
| نگهدارنده | [] |
| ایمیل نگهدارنده | [] |
| نویسنده | Ruben Gamboa |
| ایمیل نویسنده | ruben@uwyo.edu |
| آدرس صفحه اصلی | https://github.com/rubengamboa/acl2_bridge |
| آدرس اینترنتی | https://pypi.org/project/acl2-bridge/ |
| مجوز | bsd-3-clause |
نحوه نصب
نصب پکیج whl acl2-bridge-1.0:
pip install acl2-bridge-1.0.whl
نصب پکیج tar.gz acl2-bridge-1.0:
pip install acl2-bridge-1.0.tar.gz