PyPI page
Home page
Author:
Certora
Summary:
Runner for the Certora Prover
Latest version:
20250227.8.22.488796
Required dependencies:
click
|
jinja2
|
json5
|
pycryptodome
|
requests
|
rich
|
setuptools
|
sly
|
strenum
|
tabulate
|
tomli
|
tqdm
|
universalmutator
Downloads last day:
0
Downloads last week:
16
Downloads last month:
37