Galois has a reputation for being one of the most visible and well-known shops associated with Haskell. I'm curious to see what they can accomplish. A little bi

Galois has a reputation for being one of the most visible and well-known shops associated with Haskell. I'm curious to see what they can accomplish. A little bit of poking showed this[0] coming up -- I definitely wonder if that's around the same direction they'll be taking. [0]https://galois.com/project/csfv-crowd-sourced-formal-verification/ https://galois.com/project/csfv-crowd-sourced-formal-verific...