Refubium - Freie Universität Berlin Repository

Browse Studentische Abschlussarbeiten by Author "Rothgang, Colin"

Item

Publishing Date

MasterarbeitAutomated theorem proving for dependent typed theories via a translation to higher-order logicRothgang, Colin

2023