PyPI page
Author:
AutoCertora contributors
Summary:
CLI tool that generates and validates Certora formal verification suites for Solidity codebases
Latest version:
1.0.0
Required dependencies:
inquirerpy
|
rich
|
solc-select
|
typer
Optional dependencies:
build
|
twine
Downloads last day:
0
Downloads last week:
3
Downloads last month:
16
7-day smoothing