Rodin Handbook





 

2.9 Proving

\includegraphics[width=7mm]{img/tick_64.png}

Goals: The goal of this section is to get familiar with the Proving Perspective and to carry out a simple proof by hand. It also introduces more sophisticated data structures than the ones we introduced so far.