A Rust verification tool. Contribute to cryspen/hax development by creating an account on GitHub.
Read in full here:
