数据集概述
本数据集为ITP'23会议论文《交互式定理证明研究者从Coq用户调查中获得的经验》的补充材料，包含调查结构文件、多语言问卷、分析代码、结果图表及开放问题回答（已脱敏），用于支持论文研究结论的验证与扩展分析。
文件详解
- 根目录文件
- 文件名称：README.md
- 文件格式：MD
- 字段映射介绍：数据集说明文档
- Limesurvey目录
- 文件名称：questionnaire_english.html、questionnaire_chinese.html
- 文件格式：HTML
- 字段映射介绍：英文、中文版本的调查问卷打印文件
- 文件名称：survey-structure.lss
- 文件格式：LSS
- 字段映射介绍：Limesurvey调查结构导出文件
- 分析代码文件
- 文件名称：Coq-survey-analysis.ipynb
- 文件格式：IPYNB
- 字段映射介绍：用于生成结果图表的Jupyter笔记本
- 文件名称：regressions/Regressions_and_Romano-Wolf.do
- 文件格式：DO
- 字段映射介绍：用于执行论文中回归分析的Stata代码
- 结果图表目录（assets/）
- 文件格式：PNG、SVG
- 字段映射介绍：所有封闭问题回答的可视化图表及部分多问题交互分析图表
- 开放问题手动分析目录（coded_answers/）
- 文件名称：renaming.md、renaming_choices.md、contributing_experience.csv、doc_improvements-grouped.docx
- 文件格式：MD、CSV、DOCX
- 字段映射介绍：对Coq重命名、贡献体验、文档改进等开放问题回答的手动分析结果
- 脱敏开放问题回答目录（open_answers/）
- 文件名称：ci_feedback.csv、contributing_experience.csv等20余个CSV文件
- 文件格式：CSV
- 字段映射介绍：Coq用户对CI反馈、工具改进、学习体验等开放问题的脱敏回答数据
数据来源
ITP'23会议论文《Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users》
适用场景
- 交互式定理证明工具优化: 基于用户反馈分析Coq及相关工具（CoqIDE、Proof General等）的改进方向
- 学术研究方法验证: 复现论文中的回归分析及可视化结果，验证研究结论
- 开源社区治理研究: 分析Coq用户对重命名、贡献流程等社区决策的态度
- 教育体验优化: 基于学习体验调查数据改进Coq的教学资源与入门路径
- 工具生态系统评估: 整合多工具反馈数据，评估Coq生态系统的用户需求分布
