This is mainly a lapse. Thanks for highlighting them, they do awesome work! They are also not quite what Sealed Rust is about. RustBelt is about formally verif

This is mainly a lapse. Thanks for highlighting them, they do awesome work! They are also not quite what Sealed Rust is about. RustBelt is about formally verifying Rust and improving the understanding of the language. Sealed Rust is mainly about the industrial adoption process. It's not meant as a replacement or competing project, quite the contrary: RustBelt existing is a huge motivator and a major stepping stone to build on. We are also personally in touch through the Rust project.