Abbiamo appena rilasciato un aggiornamento importante per il @CertoraInc Prover, il nostro motore di verifica formale per dimostrare la correttezza dei contratti intelligenti o trovare veri bug. La v8.1.0 è ricca di nuove funzionalità potenti e (sì) alcune modifiche che rompono la compatibilità. Ecco le novità 👇