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