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