JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
Coq Change Analytics Screening Survey
Thank you for your interest in participating in the Coq Change Analytics study! Please fill out the questions below. We will be in touch if you are eligible to participate.
Sign in to Google
to save your progress.
Learn more
* Indicates required question
Email
*
Your email
Name
*
Your answer
Are you at least 18 years old?
*
Yes
No
Are you fluent in English?
*
Yes
No
Do you have at least a year of experience using the Coq proof assistant?
*
Yes
No
Submit
Clear form
Never submit passwords through Google Forms.
This form was created inside of UW Computer Science & Engineering.
Report Abuse
Forms
