Homepage
Open in app
Sign in
Get started
Top Stories published by Imandra Inc. in September of 2018
All
2018
September
Sort by most read
Dave Aitken
in
Imandra Inc.
Sep 10, 2018
Verifying ReasonReact component logic — ReasonML & Imandra
Read more…
631
August 2018
October 2018
About
Imandra Inc.
Reasoning as a Service @
www.imandra.ai
More information
Tags
Ocaml
Reasonml
Testing
Verification
React
Editors
Grant Passmore
Denis Ignatovich
Ian Orton
Writers
Ewen Maclean
Kostya Kanishev
Dave Aitken
Matthew Bray
Nicola Mometto
John
Jamie Smith
Paul Brennan