An Extensible User Interface for Lean 4.

Wojciech Nawrocki Edward W. Ayers Gabriel Ebner

Published in: ITP (2023)

Keyphrases

user interface
user interaction
end users
human computer interaction
application specific
design principles
user friendly
machine learning
object oriented
wireless sensor networks
data model
query processing
mobile devices
trade off
user experience
information technology
data sets
direct manipulation