Homepage
Open in app
Sign in
Get started
Top Stories published by Imandra Inc. in October of 2018
All
2018
October
Sort by most read
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
September 2018
About
Imandra Inc.
Reasoning as a Service @
www.imandra.ai
More information
Tags
Reasonml
Functional Programming
Probability
Formal Methods
Statistics
Editors
Grant Passmore
Denis Ignatovich
Ian Orton
Writers
Ewen Maclean
Kostya Kanishev
Dave Aitken
Matthew Bray
Nicola Mometto
John
Jamie Smith
Paul Brennan