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