docs.imandra.ai

Preview meta tags from the docs.imandra.ai website.

Linked Hostnames

7

  • General Meta Tags

    5
    • title
      Imandra Inc. Documentation
    • charset
      utf-8
    • x-ua-compatible
      ie=edge
    • viewport
      width=device-width, initial-scale=1
    • description
      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.

  • Link Tags

    5
    • canonical
      https://docs.imandra.ai/
    • shortcut icon
      /favicon.ico
    • stylesheet
      /css/main.css
    • stylesheet
      https://fonts.googleapis.com/css?family=Merriweather+Sans:300,300i,400,400i%7CMerriweather:300,300i,400,400i%7CRoboto+Slab:300,300i,400,400i
    • stylesheet
      https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css

Links

29