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.