PDX Func Theory Track - Logic and Proof

This is a past event

9 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

• 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.