[console_scripts]
certoraEqCheck = certora_cli.certoraEqCheck:ext_equivcheck_entry_point
certoraMutate = certora_cli.certoraMutate:ext_gambit_entry_point
certoraRun = certora_cli.certoraRun:entry_point
