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-*
- 分割: train
- 数据文件:
数据集信息
- 特征:
- 名称: content
- 数据类型: string
- 名称: content
- 分割:
- 名称: train
- 字节数: 529362
- 样本数: 486
- 名称: train
- 下载大小: 259505
- 数据集大小: 529362
