Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org maintainers: certora
Top 3.8% on pypi.org
79 versions - Latest release: over 1 year ago - 218 dependent repositories - 10.2 thousand downloads last month - 2 maintainers
certora-cli 20221225.14.17
Runner for the Certora Prover79 versions - Latest release: over 1 year ago - 218 dependent repositories - 10.2 thousand downloads last month - 2 maintainers
certora-cli-alpha-master 20230308.10.23
Runner for the Certora Prover1,857 versions - Latest release: about 1 year ago - 22.3 thousand downloads last month - 3 maintainers
certora-cli-alpha-master 20230308.10.23
Runner for the Certora Prover1,857 versions - Latest release: about 1 year ago - 22.3 thousand downloads last month - 3 maintainers