Imandra Inc.

Imandra is a reasoning as a service platform that empowers AI with logical reasoning capabilities.

Imandra Inc.

Imandra Inc.介绍

什么是Imandra Inc.?

Imandra is a reasoning as a service platform that empowers AI with logical reasoning capabilities.

如何使用Imandra Inc.?

To use Imandra, install the Python library from PIP3, create an account, and import the Imandra libraries in Python.

Imandra Inc.的使用案例