18.07.2024, 10:00 am Verteidigung der Masterarbeit von Melanie Taprogge Computer-Assisted Proof Verification for Higher-Order Automated Reasoning within the Dedukti Framework show event