2. Getting Started

  1. Checking a Proof
  2. Constructing a Proof