zenodoopen
CoqStoq: A Dataset of Coq Proofs Scraped from GitHub and a Corresponding Benchmark
<p>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.</p>
ShareScore
36/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 20
- Reuse readiness
- 8
- Engagement
- 0