Uno sguardo a come ci si sente a scrivere una specifica Quint da un file vuoto. Scrivere una nuova specifica per il consenso di Tendermint, ora con tutto l'apprendimento e le tecniche che abbiamo sviluppato negli ultimi 3 anni. La mia parte preferita sono le descrizioni delle esecuzioni. Scriverle ha fatto sì che tutto si incastrasse perfettamente!