Rust2ada: Converts Rust code to formally verifiable Ada, including itself | Heykuki News