Diabelli: a heterogeneous proof system

Authors:
Matej Urbas;Mateja Jamnik
Affiliations:
Computer Laboratory, University of Cambridge, UK;Computer Laboratory, University of Cambridge, UK
Venue:
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Year:
2012

Citing 3
Cited 1

The Expressiveness of Spider Diagrams

Journal of Logic and Computation
Openproof - A Flexible Framework for Heterogeneous Reasoning

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Speedith: a diagrammatic reasoner for spider diagrams

Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference

Ribbon proofs for separation logic

ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present Diabelli, a formal reasoning system that enables users to construct so-called heterogeneous proofs that intermix sentential formulae with diagrams.