¡Comenzando en 1 hora! Ven a aprender y celebrar la apertura del código fuente del Certora Prover con nosotros 👩‍💻🥳