明天我们将在 Choreo 举办一个 Space，诚邀您参加！ 加入 @bugarela 和 @buchmanster 的问答环节，了解 Choreo，我们的新框架，让为分布式系统编写 Quint 规范的过程变得简单易行。 准备好编排一些协议了吗？