hacspec/hax

A Rust verification tool

6 best points · 0 comments · 1 Hacker News post · 503 GitHub stars · View on GitHub

Hacker News discussions

• Hax: Translate a subset of Rust into formal languages (6 points, 0 comments, by MrBuddyCasino, 2024-03-23)