It is a list of formally verified C compilers. At the moment, there's one.