Certora Prover v7.29.1 è uscito! Il Prover è uno strumento open source per dimostrare che gli smart contract si comportano correttamente in tutti gli stati e gli input possibili. Questa versione aggiunge nuove funzionalità per aiutarti a scrivere specifiche più sicure, semplificare le configurazioni e lavorare in modo più efficiente. Ecco le novità 👇🧵