Imandra Ai

Imandra provides a Reasoning as a Service® platform for logical reasoning in AI systems.