Imandra Reasoning Studio
Great technology needs great UIs. Download our VS Code plugin here. Today you'll find the usual suspects - syntax highlighting, type checking, interactive docs, etc., with the Imandra REPL available for IDE integration. Soon you'll have asynchronous verification, machine-learning powered assistance and much more, all available within VS Code.
Download VS Code plugin
Imandra Reasoning Machines

Need to add some reasoning to your product? Just use Imandra as an API! We're already working with a select group of companies on adding automated reasoning into their product lines. Soon, we'll open this up to the developer community at large. Email us at contact@imandra.ai if you have a great use case that will push our technology to the limit.
If software is eating the world,
we really should take it more
seriously.
When the algorithms we rely on are unsafe, unfair or inexplicable, the results can be catastrophic. Imandra is powering a new generation of tools for the rigorous design, analysis and governance of complex algorithms.
Community
Need help with your induction hypothesis? Or, perhaps the installer is acting up? Let's figure it out together - join our growing community on Discord.
Members Online










Research
Research is the heart of what we do. This section showcases evolving technologies from our R&D engineers. From academic publications to new Imandra prototypes, join in the excitement as our new scientific results graduate into powerful products
Read More