certora-cli-alpha-thomas-tac-type-checker-20230430.18.41.951558.tar.gz certora-cli-alpha-thomas-tac-type-checker-20230501.10.38.920152.tar.gz certora-cli-alpha-thomas-tac-type-checker-20230501.11.29.317349.tar.gz certora-cli-alpha-thomas-tac-type-checker-20230501.12.16.186041.tar.gz certora-cli-alpha-thomas-tac-type-checker-20230501.15.50.228171.tar.gz certora_cli_alpha_thomas_tac_type_checker-20230430.18.41.951558-py3-none-any.whl certora_cli_alpha_thomas_tac_type_checker-20230501.10.38.920152-py3-none-any.whl certora_cli_alpha_thomas_tac_type_checker-20230501.11.29.317349-py3-none-any.whl certora_cli_alpha_thomas_tac_type_checker-20230501.12.16.186041-py3-none-any.whl certora_cli_alpha_thomas_tac_type_checker-20230501.15.50.228171-py3-none-any.whl