Un vistazo a cómo se siente escribir una especificación de Quint a partir de 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 durante los últimos 3 años. Mi parte favorita son las descripciones de las carreras. ¡Escribirlos hizo que todo encajara tan bien!