ЗАВТРА мы проводим Space по Choreo, и вы официально приглашены! Присоединяйтесь к @bugarela и @buchmanster на сессии вопросов и ответов о Choreo, нашей новой платформе, которая делает написание спецификаций Quint для распределенных систем простым и удобным. Готовы хореографировать некоторые протоколы?