在過去幾週中，@dnkolegov（以及@asymmetric_re 團隊）將 Minimmit 翻譯成可執行的規範（用 Quint 編寫）。 為什麼？我們現在可以自動化檢查 Minimmit 的不健全性，對抗 Apalache 符號模型檢查器 🤖。