4 ms·

Then the spec is wrong, and there are no correct compilers.

• shasta 15y ago
  There is already a C spec and it isn't formalized in coq. You can formalize it incorrectly.