pkuAI4M/Lean_github_formal_only_1119

该数据集包含多个特征字段，如URL、提交记录、文件路径、全名、开始和结束时间、策略、前后状态以及输入信息。数据集主要用于训练，包含218,866个示例，总大小为652,880,636字节。这些字段可能用于分析代码变更、状态转换或策略应用等场景。

This dataset includes multiple feature fields such as URL, commit, file path, full name, start and end times, tactic, state before and after, and input information. The dataset is primarily used for training, containing 218,866 examples with a total size of 652,880,636 bytes. These fields may be used for analyzing code changes, state transitions, or strategy applications.