Computational complexity

This page is part of the content downloaded from Super-bonus video: Lecture 1 from a currently-ongoing proof complexity course by Jakob Nordström on Sunday, 25 January 2026, 01:49. Note that some content and any files larger than 50 MB are not downloaded.