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