Hacker News new | ask | show | jobs
by steveklabnik 2983 days ago
We have a dedicated WG now actively working on it https://internals.rust-lang.org/t/announcing-the-formal-veri...