Submitted 2 years ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://compcert.org/compcert-C.html
HN Discussion