空白のファイルからQuint仕様を書くときの感覚のピーク。Tendermint コンセンサスのための新しい仕様を作成し、過去 3 年間に開発したすべての学習とテクニックを活用しました。 私が気に入っているのは、ランの説明です。それらを書くと、すべてがとてもうまくいきました。