[hacs] Exploring FV with SAW/Cryptol

[Tim Taubert]

Hey all,

I've recently started a small series of blog posts about formal
verification with Cryptol/SAW to demystify and get some more people
excited about the topic:

https://timtaubert.de/blog/2017/01/equivalence-proofs-with-saw/
https://timtaubert.de/blog/2017/02/simple-cryptol-specifications/

Hope you find this useful if you haven't had the time to chat with the
Galois folks at HACS. I have ideas for ~two more posts and will then
probably leave it at that.

- Tim