Search Results for author: Colin Rothgang

Found 1 papers, 1 papers with code

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

1 code implementation • 24 May 2023 • Colin Rothgang, Florian Rabe, Christoph Benzmüller

Higher-order logic HOL offers a very simple syntax and semantics for representing and reasoning about typed data structures.

Automated Theorem Proving Translation

4

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.