Imandra Inc.
  • Home
  • Applications

    • Formal VerificationFormal Verification
    • Model-Based Software EngineeringModel-Based Software Engineering
    • System IntegrationSystem Integration
  • Explore

    • Try onlineTry online
    • Core GalleryCore Gallery
    • IPL GalleryIPL Gallery
  • Docs

    • Imandra CoreImandra Core
    • PyIDFPyIDF
    • IPLIPL
    • Rule SynthesisRule Synthesis
    • FIX EngineFIX Engine
  • Products

    • Imandra CoreImandra Core
    • Imandra Protocol LanguageImandra Protocol Language
    • Imandra Markets - SystemsImandra Markets - Systems
    • Imandra Markets - ConnectivityImandra Markets - Connectivity
    • Imandra Markets - AutopilotImandra Markets - Autopilot
  • Industries

    • Financial MarketsFinancial Markets
    • Autonomous SystemsAutonomous Systems
    • Machine LearningMachine Learning
    • Government and DefenseGovernment and Defense
  • Media

    • MediaMedia
    • BlogBlog
  • Company

    • AboutAbout
    • CommunityCommunity
    • CareersCareers
    • ResearchResearch
Imandra
ai/imandra> #about Imandra is: - AI for algorithms, scaled to the cloud; - a powerful new foundation for formally verified functional programming; - powering a new generation of tools for ensuring the safety, fairness, transparency and correctness of complex algorithms. Imandra's Reasoning as a Service® APIs democratise deep advances in automated reasoning, bringing the power of tools traditionally reserved for institutions like NASA to algorithm development at large. Disclaimer: Imandra stores normalised representations of user definitions, queries, counterexamples and proofs to improve future performance. Press here to consent and continue
> Launch Imandra
Try Imandra only works in modern browsers - if you're having problems, please take a look at the non-interactive versions of the notebooks on our docs site.

© 2014 - 2021 Imandra Inc. All rights reserved. | Legal