明天我們將在 Choreo 舉辦一個 Space，誠邀您參加！ 加入 @bugarela 和 @buchmanster 的問答環節，瞭解 Choreo，我們的新框架，讓為分佈式系統編寫 Quint 規範的過程變得簡單易行。 準備好編排一些協議了嗎？