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 Proving
![\includegraphics[width=7mm]{img/tick_64.png}](images/img-0002.png)
Goals: The goal of this section is to get familiar with the Proving Perspective and to carry out a simple proof by hand.
|
|
|
|
|
|