Colin Rothgang

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 5

Top Topics

Predicate Calculus

Theorem Proving

Automated Deduction

Top Venues

Publications

Colin Rothgang, Florian Rabe, Christoph Benzmüller
Theorem Proving in Dependently-Typed Higher-Order Logic - Extended Preprint. CoRR (2023)
Colin Rothgang, Florian Rabe, Christoph Benzmüller
Theorem Proving in Dependently-Typed Higher-Order Logic. CADE (2023)
Colin Rothgang, Artur Kornilowicz, Florian Rabe
A New Export of the Mizar Mathematical Library. CICM (2021)
Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase
Representing Structural Language Features in Formal Meta-languages. CICM (2020)
Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe
Alignment-based Translations Across Formal Systems Using Interface Theories. PxTP (2017)