¡Certora Prover v7.29.1 ya está disponible! El Prover es una herramienta de código abierto para demostrar que los contratos inteligentes se comportan correctamente en todos los estados y entradas posibles. Esta versión agrega nuevas funciones para ayudarlo a escribir especificaciones más seguras, simplificar las configuraciones y trabajar de manera más eficiente. Estas son las novedades 👇🧵