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