CoqStoq: A Dataset of Coq Proofs Scraped from GitHub and a Corresponding Benchmark
收藏Zenodo2025-06-27 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.15758130
下载链接
链接失效反馈官方服务：
资源简介：
CoqStoq is a dataset of Coq Proofs scraped from GitHub. CoqStoq contains proofs from 2,205 open source projects and includes a benchmark on proofs from 12 projects. This repository includes the projects from CoqStoq's benchmarks and the processed proof data collected by CoqStoq.
提供机构：
Zenodo创建时间：
2025-06-27
