Imandra
使用 WebCatalog Desktop 上「Imandra」的 Mac、Windows 版傳統型應用程式來改善您的體驗。
在擁有多種強化功能的視窗中不受干擾地執行應用程式。
無需切換瀏覽器,即可輕鬆管理與切換多個帳戶和應用程式。
Imandra 是一個雲端原生自動推理引擎,用於分析演算法,為演算法設計和治理帶來前所未有的嚴謹性和自動化。
網站: imandra.ai
免責聲明:WebCatalog 與 Imandra 並無任何相互隸屬、關聯、授權或認可之關係,亦非彼此的正式合作夥伴。所有產品名稱、標誌及品牌均為各自所有者的財產。