yalhessi/lemexp-raw-unordered-extra
收藏Hugging Face2025-03-17 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/yalhessi/lemexp-raw-unordered-extra
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含两个配置：afp-thms和hol-thms，每个配置都包含理论文件、lemma信息、模板、符号和定义等特征。数据集分为训练集，并提供了详细的大小和示例数量信息。
The dataset consists of two configurations: afp-thms and hol-thms, each containing features such as theory files, lemma information, templates, symbols, and definitions. The dataset is split into a training set with detailed information on size and number of examples.
提供机构：
yalhessi
