En las últimas semanas, @dnkolegov (y el equipo de @asymmetric_re) tradujeron Minimmit en una especificación ejecutable (escrita en Quint). ¿Por qué? Ahora podemos automatizar la búsqueda de Minimizar la falta de solidez contra el Comprobador 🤖 de modelos simbólicos de Apalache.