FrancoisMichelon/rocq-doc
收藏Hugging Face2025-11-14 更新2025-11-15 收录
下载链接：
https://hf-mirror.com/datasets/FrancoisMichelon/rocq-doc
下载链接
链接失效反馈官方服务：
资源简介：
Rocq数据集包含从Rocq-Prover文档和多个Coq代码库中提取的三个相关数据集。这些数据集包括合并的课程材料、多个存储库中的.v文件以及Rocq HTML文档的提取和分块。
The Rocq Datasets consist of three related datasets extracted from the Rocq-Prover documentation and several Coq repositories, including merged course materials, `.v` files from multiple repositories, and extracted and chunked Rocq HTML documentation.
提供机构：
FrancoisMichelon
