Docs

Imandra Logo Imandra Logo

Pages

  • Documentation Home
  • Imandra Core
  • ImandraX
  • Imandra Universe
  • Imandra Protocol Language
  • Imandra Rule Synth
  • Financial Services
    • Overview
    • Markets
    • Connectivity
    Key Technology
    • Imandra Core
    • MBSD
    • IPL
    Explore
    • Try Imandra Online
    • Core Gallery
    • IPL Gallery
    Applications
    • MBSD
    • Formal Methods
    • Trustworthy AI
    • System Integration
    Industries
    • Financial Services
    • Autonomous Systems
    • Government & Defense
    Documentation
    • Imandra Core
    • Python API
    Languages & Interfaces
    • IPL
    • Rule Synthesis
    Company
    • About
    • Careers
    Media
    • Blog
    • News
    User Area
    • Login

Welcome

This page lists documentation pages for technology and models created by Imandra Inc.

Imandra Core Documentation

Repository Icon

Imandra Core

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

Learn more ->

Repository Icon

ImandraX

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

Learn more ->

Languages and interfaces

Repository Icon

Imandra Universe

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

Learn more ->

Repository Icon

Python Client

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

Learn more ->

Repository Icon

Imandra Protocol Language

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

Learn more ->

Repository Icon

Imandra Rule Synth

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

Learn more ->

Ⓒ Imandra Inc. All rights reserved.