Past Meetup

PDX Func Theory Track - Logic and Proof

This Meetup is past

5 people went

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 3 and possibly Chapter 4 of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please try to at least read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. At the meeting anyone will be able to present and contribute to the discussion.