from
Hacker News
Top
New
Rust2ada: Converts Rust code to formally verifiable Ada, including itself
by
ajdude
on 4/28/25, 2:55 PM with 0 comments