CompCert
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/AbsInt/CompCert
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是从CompCert仓库中提取的，采用了特定的训练-测试分割方式，其目的是为了进行证明步骤的预测。此外，该数据集还用于多语言和Coq模型的训练过程中。
This dataset is extracted from the CompCert repository and adopts a specific train-test split strategy, which is intended for proof step prediction. Furthermore, it is also employed in the training processes of multilingual and Coq models.
提供机构：
CompCert
