Description: A Rust verification tool.
A specification language for crypto primitives in Rust.
This is the successor of https://github.com/HACS-workshop/hacspec.
For a quick intro, you can look at the presentation slides . More information is available in the book . Also, see the Publications below.