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.

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Urbas, Matej; Jamnik, Mateja; Stapleton, Gem: Speedith: a reasoner for spider diagrams (2015)
  2. Urbas, Matej; Jamnik, Mateja: Diabelli: a heterogeneous proof system (2012)