The latest version of certora-cli-alpha-martin-lemmas-refactor with no known security vulnerabilities is 20230526.13.22.461529. We recommend installing version 20230526.13.22.461529.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.