3 ms·Rust2ada: Converts Rust code to formally verifiable Ada, including itself3 points by ajdude 1y ago