Tutorial -- Getting Started

This tutorial includes eight relatively short examples of proofs that illustrate most of the features of DC Proof. As you read through it, all menu options and controls in DC Proof remain fully functional. It is recommended that you recreate each line of the sample proofs as you read through them. Exercises (with hints and full solutions) are provided at the end of each sample proof.

Next