name: certora-cli-alpha-uri-eradicate-certora-dir
description: Runner for the Certora Prover
license_spdx: MIT
version: 20230517.13.20.613909
spec_version: 1.0
home_url: https://pypi.org/project/certora-cli-alpha-uri-eradicate_certora_dir
news_url: https://libraries.io/pypi/certora-cli-alpha-uri-eradicate-certora-dir/versions.atom
date: 2023-05-17
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/certora-cli-alpha-uri-eradicate-certora-dir?number=20230517.13.20.613909
