|
Download README.md from pkuAI4M/lean_github: direct link, hf CLI and curl.
- Browser
- Download file 607 Bytes
-
https://huggingface.co/datasets/pkuAI4M/lean_github/resolve/main/README.md
- Command line
-
hf download hf://datasets/pkuAI4M/lean_github/README.md
-
curl -L -o README.md https://huggingface.co/datasets/pkuAI4M/lean_github/resolve/main/README.md
607 Bytes
metadata
dataset_info:
features:
- name: url
dtype: string
- name: commit
dtype: string
- name: file_path
dtype: string
- name: full_name
dtype: string
- name: start
dtype: string
- name: end
dtype: string
- name: tactic
dtype: string
- name: state_before
dtype: string
- name: state_after
dtype: string
- name: input
dtype: string
splits:
- name: train
num_bytes: 653756100
num_examples: 218866
download_size: 65989335
dataset_size: 653756100
configs:
- config_name: default
data_files:
- split: train
path: data/train-*