4.33 MiniProof

Mini Proof

Syntax

  mp

Use

In 0 or 1 force, the mp command allows to use the prover without using proof by case. This command is similar to pr(Red)(see chapter 4.38 page §).

Example

See command pr(Red).