Rothgang, ColinColinRothgang2024-08-072024-08-072023https://fis.uni-bamberg.de/handle/uniba/91721engAutomated theorem proving for dependent typed theories via a translation to higher-order logicmasterthesis10.17169/refubium-44093urn:nbn:de:kobv:188-refubium-44381-2