CoqStoq: A Dataset of Coq Proofs Scraped from GitHub and a Corresponding Benchmark
收藏NIAID Data Ecosystem2026-05-02 收录
数据链接：
官方服务：
资源简介：
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.
创建时间：
2024-08-03
