The Coq mailing list

[Aaron Stump <aaron.stump AT gmail.com>]

Dear Coq community members,

We are writing to solicit your thoughts and experiences, via a short (1 page)

online survey, on user interfaces for Coq. We would like to use this input to

help guide our work on a new project which will apply contemporary HCI research

methods and ideas to the user interfaces of proof assistants, Coq in particular.

Two of us (Hourcade and Berman)are HCI researchers, and the other (Stump)

works on type theory. We are hoping to be able bridge the significant gap between

these communities. Your ideas on features for a new interface for Coq will

help a lot!  Responses by Friday, Dec. 9th, would be appreciated.

The survey can be found here:

https://uiowa.qualtrics.com/SE/?SID=SV_1Ukjx44UQKS57lW

 
Thanks in advance,

Aaron, Juan Pablo, and Ben

Aaron Stump

Juan Pablo Hourcade

Ben Berman

Computer Science

The University of Iowa