Homepage
Open in app
Sign in
Get started
Financial Markets
Safety Critical
Tools
Machine Learning
Home
Tagged in
Verification
Imandra Inc.
Reasoning as a Service @
www.imandra.ai
More information
Followers
143
Elsewhere
More, on Medium
Verification
Dave Aitken
in
Imandra Inc.
Sep 10, 2018
Verifying ReasonReact component logic — ReasonML & Imandra
Read more…
631
Ian Orton
in
Imandra Inc.
Dec 22, 2017
The IEX Auction: Pursuing Greater Clarity
Today, the behaviour of most complex financial systems such as stock exchanges…
Read more…
177