Para cerrar el año, estamos lanzando Quint Connect: una biblioteca para pruebas basadas en modelos en Rust, diseñada para funcionar bien con LLMs. @bugarela lo explicó todo en la nueva entrada del blog de Quint. Acabamos de configurarlo para Emerald. ¿En qué proyecto vas a probarlo?
Mira esto:
68