PyPI page
Home page
Author:
Certora
License:
GPL-3.0-only
Summary:
Runner for the Certora Prover
Latest version:
20261010.1.8.901202
Required dependencies:
click
|
jinja2
|
json5
|
pycryptodome
|
requests
|
rich
|
sly
|
strenum
|
tabulate
|
tqdm
|
typing-extensions
|
wcmatch
Downloads last day:
161
Downloads last week:
1,215
Downloads last month:
5,579
7-day smoothing