ai/imandra> #about
Imandra is:
- AI for algorithms, scaled to the cloud;
- a powerful new foundation for formally verified functional programming;
- powering a new generation of tools for ensuring the safety, fairness, transparency and correctness of complex algorithms.
Imandra's Reasoning as a Service® APIs democratise deep advances in automated reasoning, bringing the power of tools traditionally reserved for institutions like NASA to algorithm development at large.
Disclaimer: Imandra stores normalised representations of user definitions, queries, counterexamples and proofs to improve future performance.
Press here to consent and continue