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