Homepage
Open in app
Sign in
Get started
Financial Markets
Safety Critical
Tools
Machine Learning
Home
Tagged in
Statistics
Imandra Inc.
Reasoning as a Service @
www.imandra.ai
More information
Followers
143
Elsewhere
More, on Medium
Statistics
Kostya Kanishev
in
Imandra Inc.
Oct 23, 2018
Probabilistic reasoning in ReasonML
Imandra by Aesthetic Integration is a reasoning engine and a proof assistant that is able to…
Read more…
513