Imandra是一款基于自动推理和形式验证技术的AI工具套件。无论您是编写关键代码还是需要了解系统可能做出的无数复杂决策，使用Imandra可确保您创建的算法安全、可解释和公平。