My PhD student Sára and I are looking for people to participate in a study on usability aspects of interactive theorem provers. Please consider signing up!
Who? anyone who uses or has used an interactive theorem prover for whatever purpose
What? 90 - 120 minute interviews (possibly including a small think-aloud programming session)
When? interviews will be scheduled starting September 2024
Where? online (participants from anywhere are welcome)
We are hoping these interviews will help us determine how you interact with your theorem provers and to gain insights on how we can improve the user experience. We are interested in all aspects of interactive theorem provers, including but not limited to their design, their tooling, their libraries, and their documentation.
Sign up here: tudelft.fra1.qualtrics.com/jfe…
#Agda #Coq #Lean #Isabelle #Usability #TheoremProvers
Qualtrics Survey | Qualtrics Experience Management
The most powerful, simple and trusted way to gather experience data. Start your journey to experience management and try a free account today.tudelft.fra1.qualtrics.com