Certora CLI
JSON →Command-line tools for running the Certora Prover, a formal verification tool for smart contracts. Current version 8.13.1, with frequent releases on PyPI.
Command-line tools for running the Certora Prover, a formal verification tool for smart contracts. Current version 8.13.1, with frequent releases on PyPI.