Imandra Ai

Description

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