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

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

Published in: ICFEM (2019)

Keyphrases

user interface
design process
software architecture
interface design
evolutionary algorithm
human computer interaction
engineering design
design space
neural network
real world
search engine
user friendly
design guidelines