Logiweb(TM)

14.269 Malformed sequent proof

Prev Up Next 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.

Prev Up Next Page 740 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05