Welcome
This page lists documentation pages for technology and models created by Imandra Inc.
Imandra Core Documentation
Languages and interfaces
Imandra Protocol Language
The Imandra Protocol Language formalises banking languages such as FIX, SWIFT and IBan.
Learn more ->
Imandra Rule Synth
Imandra Rule Synth is an API for synthesizing rules from log files.
Learn more ->