  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-and-drop actions. We argue that this can provide
quick and intuitive proof construction steps. This work builds on theoretical
tools coming from deep inference. It also resumes and integrates some ideas of
the former proof-by-pointing project.
