TY  - RPRT
TI  - A drag-and-drop proof tactic
AU  - Pablo Donato
AU  - Pierre-Yves Strub
AU  - Benjamin Werner
PY  - 2022
DO  - 10.1145/3497775.3503692
UR  - https://arxiv.org/abs/2210.11820
ID  - 2210.11820
ER  -