Local verification of global proofs - Feuilloley, Laurent (Verfasser); Hirvonen, Juho (Verfasser); Albert-Ludwigs-Universität Freiburg. Algorithms and Complexity (Mitwirkender) (Universität, 2022)