Imandra is both a programming language and a reasoning engine with which you can analyse and verify properties of your programs.

Learn more ->

The latest and greatest version of Imandra Core, rebuilt from the ground-up for reasoning ergonomics and performance.

Learn more ->

Imandra Universe is a platform which gives you API access to formal reasoning tools and agents.

Learn more ->

Our python library which gives you programmatic access to Imandra's web interfaces.

Learn more ->

The Imandra Protocol Language formalises banking languages such as FIX, SWIFT and IBan.

Learn more ->

Imandra Rule Synth is an API for synthesizing rules from log files.

Learn more ->