- Carefully study the information in the README
- Join our Zulip chat.
- Study Sections 1-4 of Logic and Proof, including the examples and exercises.
- Try to solve the problems of the Problem Sheet.
- Extra materials: List of inference rules, Proof strategies