找到1个数据集

标签: Coq用户调查

过滤结果

  • ITP23_Supplementary_Coq用户调查研究辅助分析材料

    2026年1月22日 30 112 105

    数据集概述 本数据集为ITP'23会议论文《交互式定理证明研究者从Coq用户调查中获得的经验》的补充材料，包含调查结构文件、多语言问卷、分析代码、结果图表及开放问题回答（已脱敏），用于支持论文研究结论的验证与扩展分析。 文件详解 根目录文件 文件名称：README.md 文件格式：MD 字段映射介绍：数据集说明文档 Limesurvey目录...
    packageimg