size_categories:1K<n<10K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
- config_name: train
  features:
  - name: name
    dtype: string
  - name: formal_proof
    dtype: string
  splits:
  - name: train
    num_bytes: 1968536
    num_examples: 4866
  download_size: 793404
  dataset_size: 1968536
- config_name: train_label
  features:
  - name: name
    dtype: string
  - name: informal_statement
    dtype: string
  - name: informal_proof
    dtype: string
  splits:
  - name: train
    num_bytes: 3110701
    num_examples: 4866
  download_size: 1483248
  dataset_size: 3110701
configs:
- config_name: train
  data_files:
  - split: train
    path: train/train-*
- config_name: train_label
  data_files:
  - split: train
    path: train_label/train-*
---
