Imandra
使用 WebCatalog Desktop 上“Imandra”的 Mac、Windows 版桌面应用增强您的体验。
在提供多种增强功能的无干扰窗口中运行应用。
无需切换浏览器即可轻松管理和切换多个帐户和应用。
Imandra 是一个云原生自动推理引擎，用于分析算法，为算法设计和治理带来前所未有的严谨性和自动化。
网站： imandra.ai
免责声明：WebCatalog 与“Imandra”没有任何附属、关联、授权、认可关系，也没有以任何方式正式关联。所有产品名称、徽标和品牌均为其各自所有者的财产。
