Пік того, як це – записувати специфікацію Quint з порожнього файлу. Пишемо нову специфікацію для консенсусу Tendermint, тепер з усіма знаннями та методами, які ми розробили за останні 3 роки. Моя улюблена частина – це описи пробіжок. Від їх написання все так добре клацнуло!