try.imandra.ai
Preview meta tags from the try.imandra.ai website.
Linked Hostnames
3Search Engine Appearance
Try ImandraX Online| Imandra Inc.
Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, use Imandra to ensure the algorithms you create are safe, explainable and fair.
Bing
Try ImandraX Online| Imandra Inc.
Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, use Imandra to ensure the algorithms you create are safe, explainable and fair.
DuckDuckGo
https://try.imandra.ai/Try ImandraX Online| Imandra Inc.
Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, use Imandra to ensure the algorithms you create are safe, explainable and fair.
General Meta Tags
5- titleTry ImandraX Online | Imandra Inc.
- charsetutf-8
- viewportwidth=device-width, initial-scale=1.0
- descriptionImandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, use Imandra to ensure the algorithms you create are safe, explainable and fair.
- next-head-count8
Open Graph Meta Tags
4- og:site_nameWelcome to Imandra Inc.
- og:titleTry ImandraX Online| Imandra Inc.
- og:urlhttps://try.imandra.ai
- og:descriptionImandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, use Imandra to ensure the algorithms you create are safe, explainable and fair.
Link Tags
13- apple-touch-icon/favicon/favicon-try-touch-icon.png
- icon/favicon/favicon-try.png
- icon/favicon/favicon-try.svg
- preconnecthttps://fonts.googleapis.com
- preconnecthttps://fonts.gstatic.com
Links
6- https://docs.imandra.ai
- https://docs.imandra.ai/imandra-docs
- https://forum.imandra.ai
- https://try.imandra.ai
- https://try.imandra.ai/launch/?cluster=core-europe-west1&next=/notebooks/A%20Quick%20Tour%20of%20Imandra.ipynb