name: certora-cli-alpha-oz-pinnedgambit
description: Runner for the Certora Prover
license_spdx: MIT
version: 20230713.8.2.496097
spec_version: 1.0
home_url: https://pypi.org/project/certora-cli-alpha-oz-pinnedgambit
news_url: https://libraries.io/pypi/certora-cli-alpha-oz-pinnedgambit/versions.atom
date: 2023-07-13
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/certora-cli-alpha-oz-pinnedgambit?number=20230713.8.2.496097
