Certora Prover v7.29.1 вийшла! Prover — це інструмент з відкритим вихідним кодом для доказу правильної поведінки смарт-контрактів у всіх можливих станах і входах. У цьому випуску додано нові функції, які допоможуть вам писати безпечніші специфікації, спрощувати конфігурації та працювати ефективніше. Що нового 👇🧵