Review on Imandra by Kris Feezy

The tool can be used with Java, Scala or Clojure so it's easy if you know these languages already but we also have users that don't use them at all who like using our product because they are familiarized by other tools in their language (such as C#).

It would benefit us more from having some support for Kotlin which I believe there was an issue recently where this didn’t work properly anymore though maybe things improved since then? But generally speaking everything works just fine! Nothing really specific about my experience working here except perhaps how much time passed between releases sometimes :/ Sometimes new features take ages before being released into production - even minor ones such as bug fixes etc. And those bugs may not always make sense when looking back once deployed unless you're specifically aware what changes were made after your code got merged haha.