Proving and Computing

*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***

Let's pigeonhole ourselves as the sort of people who read Proving and Computing: The Infinite Pigeonhole Principle
and Countable Choice by Ariola, Downen, and Herbelin (https://arxiv.org/abs/2603.04006), then get together to discuss it.

We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.