Rust2ada: Converts Rust code to formally verifiable Ada, including itselfgithub.com3 points·ajdude··0 commentsOpen articleSaveView on HN