Una mirada a cómo se siente escribir una especificación de Quint desde un archivo en blanco. Escribiendo una nueva especificación para el consenso de Tendermint, ahora con todo el aprendizaje y las técnicas que desarrollamos en los últimos 3 años. ¡Mi parte favorita son las descripciones de ejecución! ¡Escribirlas hizo que todo encajara tan bien!