license:mit size_categories:1K<n<10K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
license: mit
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
dataset_info:
  features:
  - name: natural_language_statement
    dtype: string
  - name: isabelle_translation
    dtype: string
  - name: informal_proof
    dtype: string
  - name: formal_proof
    dtype: string
  - name: isabelle_body
    dtype: string
  splits:
  - name: train
    num_bytes: 6128520
    num_examples: 1024
  download_size: 2630254
  dataset_size: 6128520
---
