metadata
dataset_info:
features:
- name: fullname
dtype: string
- name: header
dtype: string
- name: imported_modules
dtype: string
- name: opened_namespaces
dtype: string
- name: formal_statement
dtype: string
- name: formal_statement_original
dtype: string
- name: formal_statement_references
dtype: string
- name: formal_proof
dtype: string
- name: formal_proof_references
dtype: string
- name: doc_string
dtype: string
- name: problem_id
dtype: string
- name: problem_kind
dtype: string
- name: informal_statement
dtype: string
- name: informal_proof
dtype: string
- name: ref
dtype: string
- name: inv_references
dtype: string
- name: passed
dtype: bool
- name: module_name
dtype: string
- name: head
dtype: 'null'
- name: lean_toolchain
dtype: string
- name: package_name
dtype: string
- name: validation_detail
dtype: string
splits:
- name: train
num_bytes: 298930
num_examples: 160
download_size: 131390
dataset_size: 298930
configs:
- config_name: default
data_files:
- split: train
path: data/train-*