JilinHu/extracted-proof-pile-2
收藏官方服务：
资源简介：
该数据集从proof-pile-2中提取，仅包含可用于预训练的Isabelle和coq文件。
This dataset is extracted from proof-pile-2 and contains only the Isabelle and coq files that can be used for pre-training.
提供机构：
JilinHu
社区交流群
科研交流群
商业服务
该数据集从proof-pile-2中提取，仅包含可用于预训练的Isabelle和coq文件。
This dataset is extracted from proof-pile-2 and contains only the Isabelle and coq files that can be used for pre-training.