LP, the Larch Prover — The qed command


The qed command constitutes a claim that all proofs are finished.

Syntax

<qed-command> ::= qed

Examples

qed

Usage

The qed command checks that the proof stack is empty. If it is not, LP prints an error message and halts execution of all .lp files.

See also