Homework 7 - Predicate logic in Lean

Due 2022-10-10.

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