Colin Rothgang | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Christoph Benzmüller
37 publications
Florian Rabe
11 publications
Yufei Liu
8 publications
Dennis Müller
7 publications

research

∙ 05/24/2023

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

Higher-order logic HOL offers a very simple syntax and semantics for rep...

0 Colin Rothgang, et al. ∙

research

∙ 12/05/2017

Alignment-based Translations Across Formal Systems Using Interface Theories

Translating expressions between different logics and theorem provers is ...

0 Dennis Müller, et al. ∙

Success!

An error occurred