¡Mañana organizamos un Space sobre Choreo y estás oficialmente invitado! Únete a @bugarela y @buchmanster para una sesión de preguntas y respuestas sobre Choreo, nuestro nuevo marco para hacer que la redacción de especificaciones de Quint para sistemas distribuidos sea una experiencia completa. ¿Listo para coreografiar algunos protocolos?