Jan :rust: :ferris:<p>hax - A <a href="https://floss.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a> <a href="https://floss.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> tool</p><p><a href="https://github.com/hacspec/hax" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/hacspec/hax</span><span class="invisible"></span></a></p><p>hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or <a href="https://floss.social/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coq</span></a>.</p><p>1/2</p><p><a href="https://floss.social/tags/Proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Proof</span></a> <a href="https://floss.social/tags/Hax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Hax</span></a> <a href="https://floss.social/tags/FStar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FStar</span></a> <a href="https://floss.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguage</span></a> <a href="https://floss.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OCaml</span></a> <a href="https://floss.social/tags/RustLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RustLang</span></a></p>