Docs
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
ImandraX examples
some examples
the “top 100” theorem challenge
