TY  - RPRT
TI  - Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
AU  - Colin Rothgang
AU  - Florian Rabe
AU  - Christoph Benzmüller
PY  - 2023
UR  - https://arxiv.org/abs/2305.15382
ID  - 2305.15382
ER  -