Defining a subset of #[no_std] Rust, formally verifying it, and releasing it as 'Sealed Rust' for use in safety critical systems like automotive and avionics: https://ferrous-systems.com/blog/sealed-rust-the-pitch/