PyPI page
Home page
Author:
None
Summary:
Command-line interface for Certora Cloud services.
Latest version:
0.1.0
Required dependencies:
aiofile
|
aiolimiter
|
keyring
|
niquests
|
orjson
|
platformdirs
|
pydantic-settings
|
rich-click
|
structlog
|
uvloop
Downloads last day:
38
Downloads last week:
383
Downloads last month:
1,055