Certora Prover v7.29.1 is uit! De Prover is een open-source tool om te bewijzen dat slimme contracten zich correct gedragen in alle mogelijke toestanden en invoer. Deze release voegt nieuwe functies toe om u te helpen veiligere specificaties te schrijven, configuraties te vereenvoudigen en efficiënter te werken. Dit is wat er nieuw 👇🧵 is