Homework 5 - More propositional logic in Lean

Due 2022-09-26.

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