I’m so excited to announce a project that has consumed way too much of my free time. Introducing… Formal Methods Tools at fmtools.fyi