Docs

Imandra Logo Imandra Logo
  • Documentation Home
  • Imandra Core
  • ImandraX
  • Imandra Universe
  • Imandra Protocol Language
  • Imandra Rule Synth

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.