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 or the playground to get started!

Playground

Try out hax in the browser on the playground.

Community

Join the hax community on our Zulip chat.