Lab Algorithmisches Beweisen SS 2024