Package Usage: pypi: certora-cli
Runner for the Certora Prover
85 versions
Latest release: over 2 years ago
22,635 downloads last month
View more package details: https://packages.ecosystem.code.gouv.fr/registries/pypi.org/packages/certora-cli