论文标题
拖放策略
A drag-and-drop proof tactic
论文作者
论文摘要
我们探讨了用户界面的功能，可以通过手势动作构建正式的证据。特别是，我们展示了如何将施工步骤与拖放操作相关联。我们认为这可以提供快速，直观的证明构建步骤。这项工作是基于来自深刻推论的理论工具。它还恢复并整合了以前的逐点证明项目的一些想法。
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.
