Hacker News new | ask | show | jobs
by uecker 370 days ago
There is also a lot of formally verified in C.