Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover
Homepage PyPI
pip install certora-cli-maker-structs-staging==3.0.3
The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.
Login to resync this project