Welcome to hax hax is a tool for high assurance translations of a large subset of Rust into formal languages such as F* or Rocq. Head over to the Manual to get started!