Um pico 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 das corridas. Escrevê-los fez tudo clicar tão bem!