Rodin Handbook





 

4.4.1 Help! Proving is difficult!

Yes, it is. Check out Section 3.4.5 to begin using the provers.