Pablo Donato, Pierre-Yves Strub, Benjamin Werner: A drag-and-drop proof tactic. CPP 2022: 197-209