Past Meetup

PDX Func Theory Track - Logic and Proof

This Meetup is past

5 people went

Every 4th Wednesday of the month

Collective Agency

3050 SE Division, Suite 245 · Portland, OR

How to find us

We'll be in the second floor conference room, not in the Collective Agency suite. It's just off the lobby area in the middle of the second floor. Elevator access is available.

Location image of event venue

Details

We'll discuss Chapter 13, "Relations", 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.