Diabelli

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