Negli ultimi settimane, @dnkolegov (e il team di @asymmetric_re) hanno tradotto Minimmit in una specifica eseguibile (scritta in Quint). Perché? Ora possiamo automatizzare la ricerca di insoundness di Minimmit contro l'Apalache Symbolic Model Checker 🤖.