5 citations · 11 across the 6 of their papers we have counts for
4 papers · 1 filter
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Florian Rabe, Claudio Sacerdoti Coen
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…
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…
A Logic-Independent IDE
Florian Rabe
The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE…
A Query Language for Formal Mathematical Libraries
Florian Rabe
One of the most promising applications of mathematical knowledge management is search: Even if we restrict attention to the tiny fragment of mathematics that has been formalized, t…