Wait, there's a proven subset of C? Can you point me to some info? | alt Hacker News

alt Hacker News

AnimalMuppet • today at 12:34 PM • 3 replies • view on HN

Wait, there's a proven subset of C? Can you point me to some info?

Replies

xgk • today at 12:36 PM

https://en.wikipedia.org/wiki/CompCert