Skip to content

Files

Latest commit

 

History

History
14 lines (13 loc) · 359 Bytes

imandra.md

File metadata and controls

14 lines (13 loc) · 359 Bytes
name description logo url locations consortium featured
Imandra Inc.
Imandra is the world leader in cloud-scale automated reasoning.
users/imandra.png
United States
United Kingdom
false
false

Imandra powers a new generation of tools for the rigorous design, analysis, and governance of complex algorithms.