Docs

Imandra Logo Imandra Logo
  • Documentation Home
  • Imandra Core
  • ImandraX
    • Region Decomposition
      • Core Concepts
      • Basic Usage
      • Composition Operators and Advanced features
    • Differences with Imandra Core
      • User Interface Enhancements
      • Runtime and API access
      • Prelude/Language Differences
      • Enhanced Import System
      • Unified Tactic Language and Syntax
      • Incremental Proofs
      • Features Not Yet Implemented
    • ImandraX examples
    • Technical blog
  • Imandra Universe
  • Imandra Protocol Language
  • Imandra Rule Synth
  • Moonpool and OCaml5 in Imandrax
Ⓒ Imandra Inc. All rights reserved.