PDX Func Theory Track - Logic and Proof

We'll discuss Chapter 18, "The Natural Numbers and Induction in Lean", of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please read the material beforehand and try your hand at the exercises. At the meeting anyone will be able to present and contribute to the discussion.