Hax: Translate a subset of Rust into formal languagesgithub.com/hacspec6 pointsMrBuddyCasino2 years ago