Design of Point-and-Click User Interfaces for Proof Assistants. - Bohua Zhan; Zhenyan Ji; Wenfan Zhou; Chaozhu Xiang; Jie Hou; Wenhui Sun (ICFEM, 2019)