Un aperçu de ce que c'est que d'écrire une spécification Quint à partir d'un fichier vierge. Rédiger une nouvelle spécification pour le consensus Tendermint, maintenant avec tout l'apprentissage et les techniques que nous avons développés au cours des 3 dernières années. Ma partie préférée est la description des exécutions. Les écrire a tout fait s'imbriquer si bien !