Velvet Release

We have released a new version of Velvet, our foundational multi-modal verifier for imperative programs in Lean, with a number of new features. It now has a new web site!