discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Introducing hax: a subset of safe Rust which can be translated into multiple proof environments
https://hacspec.org/blog/posts/hax-v0-1/
6 comments
27/11/2023
programminglanguages