5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.LO2025
Scroll nets
Pablo Donato
We introduce a new formalism for representing proofs in propositional logic called "scroll nets". Its fundamental construct is the "scroll", a topological notation for implication…
cs.LO2024
The Flower Calculus
Pablo Donato
We introduce the flower calculus, a deep inference proof system for intuitionistic first-order logic inspired by Peirce's existential graphs. It works as a rewriting system over in…
cs.HC2022★ 5 cited
A drag-and-drop proof tactic
Pablo Donato, Pierre-Yves Strub, Benjamin Werner
We explore the features of a user interface where formal proofs can be built through gestural actions. In particular, we show how proof construction steps can be associated to drag…