Exercise set 8.

For this weeks exercises, look at the below exercises. In addition to this, Lars can also answer questions of students that had a hard time with the optional assignment.

• Exercise 1.1 from AF lecture 1. Solve these exercises on paper. Try to be as strict as possible.
• The quick student is also welcome to look at Exercise 1.2

In parallel with the course we are developing (a teaching tool, OnlineProver)[https://onlineprover.github.io/] that we intend can help the understanding. We will introduce this next week. For us to do a good evaluation, we would like you to do both.