Thirty filtered Alpaca-style Lean 4 theorem-proving records derived from
internlm/Lean-Workbook.
Only train.jsonl is a Hub dataset split. The hf_dataset/ directory is a
local datasets.save_to_disk() artifact and must not be interpreted as JSON
training data.
