2 ms·

+1 What does it even mean that the language is formally provable ?!

• 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.