alt
Hacker News
LoganDark
•
yesterday at 11:53 PM
•
0 replies
•
view on HN
Is there a benefit to formally verified C over formally verified Rust? Maybe platform support?
alt Hacker News