Undecidability of Medvedev Logic

Collaborative project to study the undecidability of superintuitionistic logics.

You can find the basic files here; more will be updated as we proceed.

You can find our preprint linked here, and the preprint by Pawel Pawlowski linked here. Slides from our LLAMA talk here.