PDX Func Theory Track - Logic and Proof
Hosted By
Lyle K. and Leif W.
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.
Portland Functional Programming Study Group
See more events
Collective Agency
3050 SE Division, Suite 245 · Portland, OR
PDX Func Theory Track - Logic and Proof