metareflection/dafny-docs-chunked
收藏Hugging Face2024-04-16 更新2024-06-12 收录
下载链接：
https://hf-mirror.com/datasets/metareflection/dafny-docs-chunked
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: content
dtype: string
splits:
- name: train
num_bytes: 478459
num_examples: 497
download_size: 235706
dataset_size: 478459
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
数据集信息：
特征：
- 名称：content
数据类型：字符串（string）
数据集划分：
- 名称：训练集（train）
字节数：478459
样本数量：497
下载大小：235706
数据集存储大小：478459
配置项：
- 配置名称：默认（default）
数据文件：
- 对应划分：训练集（train）
文件路径：data/train-*
提供机构：
metareflection
原始信息汇总
数据集概述
数据集特征
- 名称: content
- 数据类型: string
数据分割
- 分割名称: train
- 数据大小: 478459字节
- 示例数量: 497
数据集大小
- 下载大小: 235706字节
- 总大小: 478459字节
配置
- 配置名称: default
- 数据文件路径: data/train-*
- 分割: train
