Skip to content

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!