Disambiguation evidence for CompCert C compiler via surface form

"CompCert C compiler"

Triples (1)

Triples where some other subject referred to this entity as "CompCert C compiler".

Xavier Leroy knownFor
"CompCert C compiler"
↳ resolves to CompCert C compiler