Managing proofs

 This section focuses on all the actions that might be useful in managing your proofs.