Page 740 of 800
| 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 |