- Exercise 1.1 finally solved, confused with earlier versions
- Exercise 1.3 initial exercise on proving conditionals via the cond symbol
- Exercise 1.4 initial commit