wow, saw just got a whole lot more interesting! gonna be digging into this and seeing what kind of cool stuff we can build with isabelle https://www.galois.com/articles/announcing-isabelle-support-for-saw