Writing is one of my favorite escapes: it’s cheaper than therapy and gives me more to show for my efforts. This project is my staging area. Some of these projects will be pampered into full novels or collections. Others will be politely dismissed into oblivion.

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