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