← Back to context Comment by AnimalMuppet 11 days ago Wait, there's a proven subset of C? Can you point me to some info? 3 comments AnimalMuppet Reply xgk 11 days ago https://en.wikipedia.org/wiki/CompCert
https://en.wikipedia.org/wiki/CompCert