five

metareflection/dafny-docs

收藏
Hugging Face2023-12-05 更新2024-06-22 收录
下载链接:
https://hf-mirror.com/datasets/metareflection/dafny-docs
下载链接
链接失效反馈
官方服务:
资源简介:
--- configs: - config_name: default data_files: - split: train path: data/train-* dataset_info: features: - name: content dtype: string splits: - name: train num_bytes: 529362 num_examples: 486 download_size: 259505 dataset_size: 529362 --- # Dataset Card for "dafny-docs" [More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)
提供机构:
metareflection
原始信息汇总

数据集卡片 "dafny-docs"

配置

  • 配置名称: default
    • 数据文件:
      • 分割: train
        • 路径: data/train-*

数据集信息

  • 特征:
    • 名称: content
      • 数据类型: string
  • 分割:
    • 名称: train
      • 字节数: 529362
      • 样本数: 486
  • 下载大小: 259505
  • 数据集大小: 529362
5,000+
优质数据集
54 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作