wendy-sun/DafnyBench
收藏官方服务：
资源简介：
--- license: apache-2.0 task_categories: - text-generation - text2text-generation language: - en tags: - code size_categories: - n<1K ---
提供机构：
wendy-sun原始信息汇总
数据集概述
许可协议
- 许可证：Apache-2.0
任务类别
- 文本生成
- 文本到文本生成
语言
- 英语
标签
- 代码
大小类别
- 小于1K
