Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
2.9.5 Proving — an Art or a Science?
Proving can be quite frustrating, both for beginners and advanced users. Especially beginners sometimes get the impression that proofing is just “clicking around” that sometimes works and sometimes doesn’t. And when it works, it’s not really clear why — the proof tree is also difficult to read, even for experienced users. We provided some additional guidance on provers in Section 3.4.5 that may be of help.
|
|
|
|
|
|