Rothgang, ColinColinRothgangRabe, FlorianFlorianRabeBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932023-05-252023-05-252023https://fis.uni-bamberg.de/handle/uniba/59544engTheorem Proving in Dependently-Typed Higher-Order Logic : Extended Preprintpreprint10.48550/ARXIV.2305.15382https://arxiv.org/abs/2305.15382