标签：Formal verification
imandra.ai
分类：
AI代码助手
AI代码审查
AI开发工具
AI金融
AI代理
AI副驾驶
大语言模型
AI研究工具
Imandra provides a Reasoning as a Service® platform for logical reasoning in AI systems.