no code implementations • 2 Dec 2020 • Matteo Acclavio, Ross Horne, Lutz Strassburger
In this paper we present a proof system that operates on graphs instead of formulas.
Logic in Computer Science