hax: A Rust verification tool
Summary
Hax is a Rust verification tool that translates Rust code into formal languages (F*, Rocq, Lean, ProVerif, etc.) to enable high-assurance cryptographic software. The project provides usage instructions, supported backends, installation options (Nix, Docker, manual), examples, and learning resources, highlighting its open-source nature and active development.