За последние несколько недель @dnkolegov (и команда @asymmetric_re) перевели Minimmit в исполняемую спецификацию (написанную на Quint). Почему? Теперь мы можем автоматизировать поиск несоответствий Minimmit с помощью символического моделирования Apalache 🤖.