Class 1, Nov 21, 2025
Completion requirements
Definition of Provability space, examples.