www.imandra.ai [email protected]
London, Austin, Edinburgh We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
Imandra
OCaml library to produce vega-lite visualizations (as json objects)
imandra-ai
