chasenorman/subproofs-mathlib-v4.29.0
收藏Hugging Face2026-04-11 更新2026-04-26 收录
下载链接：
https://hf-mirror.com/datasets/chasenorman/subproofs-mathlib-v4.29.0
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: type
dtype: string
- name: tactic
dtype: string
- name: removals
list: string
- name: name
dtype: string
- name: kind
dtype: string
- name: goal
dtype: string
splits:
- name: train
num_bytes: 582318926
num_examples: 406677
download_size: 73263005
dataset_size: 582318926
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
数据集信息：
特征字段：
- 字段名：type，数据类型：字符串
- 字段名：tactic，数据类型：字符串
- 字段名：removals，数据类型：字符串列表
- 字段名：name，数据类型：字符串
- 字段名：kind，数据类型：字符串
- 字段名：goal，数据类型：字符串
数据拆分：
- 拆分名：train，字节大小：582318926，样本数：406677
下载大小：73263005，数据集总大小：582318926
数据集配置：
- 配置名：default，数据文件：
- 拆分：train，路径：data/train-*
提供机构：
chasenorman
