|Page 740 of 800||Search internet|
Origin: check. Landing-place: diagnose.
Malformed sequent proof of d
The output of tactic evaluation was no sequent proof. In most cases, the tactic evaluator will state what is wrong but the present error message serves as a backstop when the output is really bad.
|Page 740 of 800||Search logiweb.eu|