CompCert: Formally verified compilers usable for critical embedded softwarecompcert.org2 points·p4bl0··0 commentsOpen articleSaveView on HN