¡Felicitaciones a @Pi_Squared_Pi2 y a nuestro asesor @RosuGrigore!\n\nAprovechar K-framework para generar pruebas con una capacidad independiente del lenguaje a partir de la semántica formal del sistema mejorará nuestro progreso en ZK al máximo.\n\n¡Una vez más! ¡Felicitaciones!