coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Aaron Stump <aaron.stump AT gmail.com>
- To: coq-club AT inria.fr
- Cc: Juan Pablo Hourcade <juanpablo-hourcade AT uiowa.edu>, Benjamin Berman <bnjmnbrmn AT gmail.com>
- Subject: [Coq-Club] survey on Coq interfaces
- Date: Fri, 2 Dec 2011 08:26:32 -0600
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
- [Coq-Club] survey on Coq interfaces, Aaron Stump
- Re: [Coq-Club] survey on Coq interfaces,
Mihai ANDRIES
- Re: [Coq-Club] survey on Coq interfaces,
Adam Chlipala
- Re: [Coq-Club] survey on Coq interfaces,
Mihai ANDRIES
- Re: [Coq-Club] survey on Coq interfaces,
Adam Chlipala
- Re: [Coq-Club] survey on Coq interfaces,
Marco Servetto
- Re: [Coq-Club] survey on Coq interfaces,
Ramana Kumar
- Re: [Coq-Club] survey on Coq interfaces, Marco Servetto
- Re: [Coq-Club] survey on Coq interfaces,
Ramana Kumar
- Re: [Coq-Club] survey on Coq interfaces,
Marco Servetto
- Re: [Coq-Club] survey on Coq interfaces,
Adam Chlipala
- Re: [Coq-Club] survey on Coq interfaces,
Mihai ANDRIES
- Re: [Coq-Club] survey on Coq interfaces,
Adam Chlipala
- Re: [Coq-Club] survey on Coq interfaces,
Mihai ANDRIES
Archive powered by MhonArc 2.6.16.