PeterHolderrieth/Isabelle

---
dataset_info:
features:
- name: theorem_name
dtype: string
- name: theorem
dtype: string
- name: theorem_type
dtype: string
splits:
- name: train
num_bytes: 3255
num_examples: 21
download_size: 0
dataset_size: 3255
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
# Dataset Card for "Isabelle"

[More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)

---
数据集信息:
特征字段:
- 字段名: 定理名称（theorem_name），数据类型: 字符串（string）
- 字段名: 定理（theorem），数据类型: 字符串（string）
- 字段名: 定理类型（theorem_type），数据类型: 字符串（string）
数据集划分:
- 划分名称: 训练集（train），字节占用量: 3255，样本数量: 21
下载总大小: 0
数据集存储总大小: 3255
配置项:
- 配置名称: 默认配置（default）
数据文件:
- 对应划分: 训练集（train），文件路径: data/train-*
---
# 「伊莎贝尔（Isabelle）」数据集卡片

[需补充更多信息](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)

原始信息汇总

数据集概述

数据集信息

• 特征:
  • theorem_name: 类型为字符串
  • theorem: 类型为字符串
  • theorem_type: 类型为字符串

数据划分

• 训练集:
  • 名称: train
  • 字节数: 3255
  • 样本数: 21

数据集大小

• 下载大小: 0
• 数据集大小: 3255

配置

• 默认配置:
  • 数据文件:
    • 划分: train
    • 路径: data/train-*