A tutorial on how to use CPCTC in a proof!

Check us out @ http://www.williamseducation.com/