hax - A #Rust #verification tool
https://github.com/hacspec/hax
hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.
1/2
GitHubGitHub - hacspec/hax: A Rust verification toolA Rust verification tool. Contribute to hacspec/hax development by creating an account on GitHub.