Questo è stato in lavorazione per mesi. Ciò che mi rende super felice è che OSec ha adottato un approccio completamente diverso rispetto a Certora, dimostrando tuttavia le stesse proprietà. (Certora ha dimostrato la logica interna, OSec ha dimostrato a livello di gestore) È stato un piacere lavorare con @NotDeGhost