Links for certora-cli-alpha-naftali-cert-1884-prevent-solidity-func-as-summary
certora_cli_alpha_naftali_CERT_1884_prevent_solidity_func_as_summary-20230515.8.39.616713-py3-none-any.whl
certora_cli_alpha_naftali_CERT_1884_prevent_solidity_func_as_summary-20230515.7.31.464117-py3-none-any.whl
certora_cli_alpha_naftali_CERT_1884_prevent_solidity_func_as_summary-20230514.22.1.248797-py3-none-any.whl
certora_cli_alpha_naftali_CERT_1884_prevent_solidity_func_as_summary-20230514.21.18.381636-py3-none-any.whl
certora_cli_alpha_naftali_CERT_1884_prevent_solidity_func_as_summary-20230514.16.17.704482-py3-none-any.whl
certora_cli_alpha_naftali_CERT_1884_prevent_solidity_func_as_summary-20230514.10.19.133293-py3-none-any.whl