Certora Prover v7.29.1 est sorti ! Le Prover est un outil open-source permettant de prouver que les contrats intelligents se comportent correctement dans tous les états et entrées possibles. Cette version ajoute de nouvelles fonctionnalités pour vous aider à rédiger des spécifications plus sûres, à simplifier les configurations et à travailler plus efficacement. Voici les nouveautés 👇🧵