معرفی شرکت ها

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover

ویژگی	مقدار
سیستم عامل	OS Independent
نام فایل	certora-cli-3.4.2
نام	certora-cli
نسخه کتابخانه	3.4.2
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Certora
ایمیل نویسنده	support@certora.com
آدرس صفحه اصلی	https://github.com/Certora/CertoraCLI
آدرس اینترنتی	https://pypi.org/project/certora-cli/
مجوز	-

# CertoraCLI Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

مقدار	نام
>=3.7	Python

نصب پکیج whl certora-cli-3.4.2:

pip install certora-cli-3.4.2.whl

نصب پکیج tar.gz certora-cli-3.4.2:

pip install certora-cli-3.4.2.tar.gz