Logiweb(TM)

14.268 Malformed proof

Prev Up Next Page 739 of 800 Search internet


Origin: check. Landing-place: diagnose.

Malformed proof of d

Tactic evaluation gave a standard exception "exception". That gives no other information than that tactic evaluation went wrong. The 'malformed proof' message indicates which lemma d was being proved.

Prev Up Next Page 739 of 800 Search logiweb.eu

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