No upcoming Meetups
What we're about
At Aesthetic Integration ( https://www.imandra.ai ), we believe that if software is eating our world, then we should really take it more seriously. So we created Imandra - a powerful cloud-native automated reasoning engine built on the latest advances in formal verification targeting OCaml and ReasonML. Imandra's groundbreaking AI helps you ensure your algorithms are safe, explainable and fair.
Imandra has many advanced features, including first-class computable counterexamples, symbolic model checking, support for polymorphic higher-order recursive functions, automated induction, state-space decomposition and much more…
See for yourself: https://try.imandra.ai
Check out our Medium page with many examples: https://medium.com/imandra
Don't forget about our Discord server: https://discord.gg/UQkp3FR
Join this group to be the first to know about our upcoming events.