A drag-and-drop proof tactic. - Pablo Donato; Pierre-Yves Strub; Benjamin Werner (CPP, 2022)

The Flower Calculus. - Pablo Donato (FSCD, 2024)

Deep Inference for Graphical Theorem Proving. (Inférence Profonde pour la Démonstration Graphique de Théorèmes). - Pablo Donato (2024)

flowers-metatheory. - Pablo Donato (DROPS Artifacts, 2024)

Scroll nets. - Pablo Donato (CoRR, 2025)