Colin Rothgang

According to our database, Colin Rothgang authored at least 5 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Theorem Proving in Dependently-Typed Higher-Order Logic - Extended Preprint.

Colin Rothgang, Florian Rabe, Christoph Benzmüller

CoRR, 2023

Theorem Proving in Dependently-Typed Higher-Order Logic.

Colin Rothgang, Florian Rabe, Christoph Benzmüller

Proceedings of the Automated Deduction - CADE 29, 2023

2021

A New Export of the Mizar Mathematical Library.

Colin Rothgang, Artur Kornilowicz, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020

Representing Structural Language Features in Formal Meta-languages.

Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2017

Alignment-based Translations Across Formal Systems Using Interface Theories.

Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017