▲ 3 pointsRust2ada: Converts Rust code to formally verifiable Ada, including itselfgithub.comby ajdude·1y ago·0 comments·view on hn ↗