The latest version of certora-cli-alpha-thomas-tac-type-checker with no known security vulnerabilities is 20230501.15.50.228171. We recommend installing version 20230501.15.50.228171.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.