These are languages that have an embedded proof system used for formally defining Specification. Not meant to be Turing Complete. Also, not meant to be executable.
These are languages that have an embedded proof system used for formally defining Specification. Not meant to be Turing Complete. Also, not meant to be executable.