Technical Reference
This section contains comprehensive reference material for ImandraX users.
- Logical Foundations — The formal foundations of ImandraX's logic
- Tactic Index — Alphabetical index of all tactics
- Attribute Index — All IML attributes in one place
- Glossary — Definitions of key terms
- Differences from Imandra Core — Migration guide
- FAQ — Frequently asked questions