Unconnected link to conclusions "proves" the goal

nomeata / incredible

The Incredible Proof Machine

MIT License

360 stars 36 forks source link

Unconnected link to conclusions "proves" the goal #63

Closed lohner closed 9 years ago

lohner commented 9 years ago

When i make a link which is only connected to the conclusion (and open on the other end), the conclusion gets green and the analysis says qed: true (in the details pane).

green