Hacker News new | ask | show | jobs
by jgmatpdx 5536 days ago
It is a list of formally verified C compilers. At the moment, there's one.