Login / Signup
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