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