Design of Point-and-Click User Interfaces for Proof Assistants.

Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun

Browse the full ICFEM paper archive.