Announcing Isabelle support for SAW
Summary
Galois announces Isabelle support for SAW, enabling SAW to generate Isabelle theories from Cryptol specifications. The update blends SAW/Cryptol usability with Isabelle's expressivity, includes a new SAW command and tactic, and outlines what is supported and what is not, with background on Cryptol, SAW, and interactive theorem provers.