GitHub repository: tomdjong/MGS-categorical-realizability
Primary language: TeX
Description: Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024