Alignment-based Translations Across Formal Systems Using Interface Theories. - Dennis Müller 001; Colin Rothgang; Yufei Liu; Florian Rabe 001 (PxTP, 2017)

Representing Structural Language Features in Formal Meta-languages. - Dennis Müller 001; Florian Rabe 001; Colin Rothgang; Michael Kohlhase (CICM, 2020)

A New Export of the Mizar Mathematical Library. - Colin Rothgang; Artur Kornilowicz; Florian Rabe 001 (CICM, 2021)

Theorem Proving in Dependently-Typed Higher-Order Logic. - Colin Rothgang; Florian Rabe 001; Christoph Benzmüller (CADE, 2023)

Theorem Proving in Dependently-Typed Higher-Order Logic - Extended Preprint. - Colin Rothgang; Florian Rabe 001; Christoph Benzmüller (CoRR, 2023)

Subtyping in DHOL - Extended preprint. - Colin Rothgang; Florian Rabe 001 (CoRR, 2025)