Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
Ana de Almeida BorgesAnnalí Casanueva ArtísJean-Rémy FalleriEmilio Jesús Gallego AriasÉrik Martin-DorelKarl PalmskogAlexander SerebrenikThéo ZimmermannPublished in: ITP (2023)
Keyphrases
- end users
- interactive theorem proving
- recommender systems
- collaborative filtering
- rapid growth
- user studies
- user interaction
- lessons learned
- data mining
- multiple users
- user centric
- user interests
- user profiles
- social media
- user interface
- user experience
- daily life
- mobile applications
- information sources
- computational intelligence
- user requirements
- user groups
- formal methods
- case study
- databases