Parabéns ao @Pi_Squared_Pi2 e ao nosso consultor @RosuGrigore! Aproveitar o K-framework para gerar provas com uma capacidade independente de linguagem a partir da semântica formal do sistema irá melhorar nosso progresso em ZK até o ponto máximo. Mais uma vez! Parabéns!