Page 739 of 800
| Page 739 of 800 | Search internet |
Origin: check. Landing-place: diagnose.
Malformed proof of d
Tactic evaluation gave a standard exception 
. That gives no other information than that tactic evaluation went wrong. The 'malformed proof' message indicates which lemma d was being proved.
| Page 739 of 800 | Search logiweb.eu |