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 |  |
 |
 |
4.4.1 Help! Proving is difficult!
Yes, it is. Check out Section 3.4.5 to get started with using the provers.
|
|
|
|
|
|