This page lists documentation pages for technology and models created by Imandra Inc.
Imandra Core Documentation
Imandra is both a programming language and a reasoning engine with which you can analyse and verify properties of your programs.
Languages and interfaces
Imandra Protocol Language
The Imandra Protocol Language formalises banking languages such as FIX, SWIFT and IBan.
Python IDF Interface
Documentation and examples of our newly released Python interface to Iterative Decomposition Framework.
Imandra Rule Synth
Imandra Rule Synth is an API for synthesizing rules from log files.