5 citations · 8 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 3 cited
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
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. But its type system lacks advanced features where types…
cs.LO2014
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers
Christoph Benzmüller, Bruno Woltzenlogel Paleo
The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof ass…