Welcome This page lists documentation pages for technology and models created by Imandra Inc. Imandra Core Documentation Imandra Documentation Imandra is both a programming language and a reasoning engine with which you can analyse and verify properties of your programs. Learn more -> 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 ->