Uma visão de como é escrever uma especificação Quint a partir de um arquivo em branco. Escrevendo uma nova especificação para o consenso Tendermint, agora com todo o aprendizado e técnicas que desenvolvemos nos últimos 3 anos. Minha parte favorita são as descrições de execução. Escrevê-las fez tudo se encaixar tão bem!