Winter semester 2024/25

11.10 - Aleksy Schubert, The context of the higher-order matching problem
18.10 - Aleksy Schubert, Stirling games in the proof of the higher-order matching problem
25.10 - Jacek Chrząszcz, News in Coq
22.11 - Aleksy Schubert, Higher-order matching, transformations T1 and T2 and 4th order matching
29.11 - Aleksy Schubert, Unfolding and recapitulation of the higher-order matching proof
13.12 - Aleksy Schubert, Provability in System F with open instantiations