معرفی شرکت ها
certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always-20230501.8.42.292176
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | - |
| نام فایل | certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always-20230501.8.42.292176 |
| نام | certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always |
| نسخه کتابخانه | 20230501.8.42.292176 |
| نگهدارنده | [] |
| ایمیل نگهدارنده | [] |
| نویسنده | Certora |
| ایمیل نویسنده | support@certora.com |
| آدرس صفحه اصلی | https://pypi.org/project/certora-cli-alpha-naftali-CERT-1897_parametric_instantiation_always |
| آدرس اینترنتی | https://pypi.org/project/certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always/ |
| مجوز | - |
نیازمندی
| مقدار | نام |
|---|---|
| - | argcomplete |
| - | click |
| - | pycryptodome |
| - | requests |
| - | sly |
| - | tabulate |
| - | tqdm |
زبان مورد نیاز
| مقدار | نام |
|---|---|
| >=3.8.16 | Python |
نحوه نصب
نصب پکیج whl certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always-20230501.8.42.292176:
pip install certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always-20230501.8.42.292176.whl
نصب پکیج tar.gz certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always-20230501.8.42.292176:
pip install certora-cli-alpha-naftali-CERT-1897-parametric-instantiation-always-20230501.8.42.292176.tar.gz