semvec/pypi-packages huggingface dataset:
certora-cli-alpha-shelly-granularPTAControlDerivedFrome7a497517888ffc616226836d3de91a955768f22 20240716.6.0.67489
Runner for the Certora Prover
Requires Python: >=3.8

Commit df97f8b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.