Imandra Puts Reasoning into ReasonML - ReasonLDN - September 2018
Imandra: Automated Reasoning for LLMs
Dave Aitken - Querying UI Instances with Imandra | Reason Conf 2019
Grant Olney Passmore - An Introduction to the Imandra Automated Reasoning System
ReasonML With BuckleScript: Setup #1
JSCAMP2019: How We Run 1,000 Tests in Half a Second with ReasonML and Rely Chris Hernandez
IMANDRA by Aesthetic Integration 123693415
ReasonReact: Prerequisites #1
Ken Wheeler - Why You Should Try ReasonML
Large Language Model and Generative AI Technology Webinar
Imandra Contracts Formal Verification for Ethereum - Dr. Grant Passmore and Evgeny Gokhberg
"Universal Reason" by Jacob Bass
Using ReasonML in your next React project - Roy Derks
DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore
RuhrJS 2018 - David Kopal - Use ReasonML in your React applications
Live stream: Chip's Challenge i ReasonML – Del 1
Intro to Reason ML w/Ben Johnson
React Israel Meetup #17 - 1st talk: What is ReasonML and why it's awesome - by Vladimir Novick
Cheng Lou - Keynote | ReasonConf 2018
React Chicago June 2018 - ReasonML - A Love Story by Peter Piekarczyk