Homework 4 - Propositional logic in Lean

Due 2022-09-19.

You can find and submit the assignment on our Github Classroom.