3 ms·It is a list of formally verified C compilers. At the moment, there's one.by jgmatpdx 15y agoIt is a list of formally verified C compilers. At the moment, there's one.