@inproceedings{2342b5bb0fb540d191027aa76298ab53,
title = "A drag-and-drop proof tactic",
abstract = "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.",
keywords = "deep inference, formal proofs, logic, user interfaces",
author = "Pablo Donato and Strub, \{Pierre Yves\} and Benjamin Werner",
note = "Publisher Copyright: {\textcopyright} 2022 ACM.; 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2022 - co-located with POPL 2022 ; Conference date: 17-01-2022 Through 18-01-2022",
year = "2022",
month = jan,
day = "11",
doi = "10.1145/3497775.3503692",
language = "English",
series = "CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022",
publisher = "Association for Computing Machinery, Inc",
pages = "197--209",
editor = "Andrei Popescu and Steve Zdancewic",
booktitle = "CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022",
}