Skip to first unread message
Lyle Kopnicky
Mar 25, 2019, 11:37:04 PM3/25/19
to pdxfunc
We'll discuss Chapter 23, "Axiomatic Foundations", the final chapter of Logic and Proof (https://leanprover.github.io/logic_and_proof). Please try to work the exercises beforehand. At the meeting anyone will be able to present and contribute to the discussion.
Wednesday, April 4th, 2018, 6:30-8:30pm
Location:
Collective Agency
3050 SE Division, Suite 245 · Portland, OR
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.
RSVP at: https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/mpwwbqyzfbkc/
Wednesday, April 4th, 2018, 6:30-8:30pm
Location:
Collective Agency
3050 SE Division, Suite 245 · Portland, OR
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.
RSVP at: https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/mpwwbqyzfbkc/
Ed Snow
Apr 3, 2019, 7:07:21 PM4/3/19
to pdxfunc
On Monday, March 25, 2019 at 8:37:04 PM UTC-7, Lyle Kopnicky wrote:
We'll discuss Chapter 23, "Axiomatic Foundations", the final chapter of Logic and Proof (https://leanprover.github.io/logic_and_proof). Please try to work the exercises beforehand. At the meeting anyone will be able to present and contribute to the discussion.
Matt's efforts in formalizing his exercise solutions in Lean have inspired me to try it with Exercise 1 in Chapter 23:
Reply all
Reply to author
Forward
0 new messages