3 ms·

To me it means that there is a formal semantics (for example in Coq), and that we can formally prove properties of the code. There does not seem to be a semanti

by Jaxan 7y ago

To me it means that there is a formal semantics (for example in Coq), and that we can formally prove properties of the code. There does not seem to be a semantics here.