PyPI page
Home page
Author:
None
Summary:
A Python API and CLI for parsing outputs from the Certora Prover
Latest version:
0.1.0
Required dependencies:
boto3
|
certora-cloud
|
pycryptodome
|
requests
|
urllib3
Optional dependencies:
build
|
reuse
Downloads last day:
37
Downloads last week:
385
Downloads last month:
1,009