PDX Func Theory Track - Logic and Proof

• What we'll do
We'll discuss Chapters 1 & 2 of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Chapter 2 has exercises - please try to work them beforehand. At the meeting anyone will be able to present and contribute to the discussion.