Activity analytics

We gather usage information, which helps us to improve your experience with our products. You can ask for any usage data we've gathered on you to be deleted by getting in touch. Read our cookie policy and legal notices.

Docs/Documentation

Documentation

Documentation and guides for the Imandra Universe of neurosymbolic AI reasoning tools.

Tools

ImandraX

Formal verification & AI reasoning engine

CodeLogician™

AI agent for mathematical code reasoning

SpecLogician™

Natural-language specification reasoning

IPL

Imandra Protocol Language

Universe

Access Imandra's reasoning tools directly, via Python, and through cloud-native MCP servers.

For agents

Product map for coding agents and LLM crawlers.

Activity analytics

Documentation

Tools

Universe

For agents

products

applications

industries

select links