Docs
Documentation Home
ImandraX
Verification
Verification Commands
Verification Tactics
Verification Simplification
Verification Unrolling
Verification Induction
Verification Waterfall
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 Core
Imandra Universe
Imandra Protocol Language
Imandra Rule Synth
Verification
Commands
Tactics
Unrolling
Simplification
Induction
Waterfall
