FrancoisMichelon/rocq-repos
收藏Hugging Face2025-11-14 更新2025-11-15 收录
下载链接：
https://hf-mirror.com/datasets/FrancoisMichelon/rocq-repos
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含三个从Rocq-Prover文档和多个Coq仓库中提取的相关数据集，分别为课程材料、仓库中的.v文件和Rocq HTML文档的提取和分块。数据集以JSONL格式存储，适用于语言模型训练、代码搜索等场景。
The dataset consists of three related datasets extracted from the Rocq-Prover documentation and multiple Coq repositories, including course materials, `.v` files from repositories, and extracted and chunked Rocq HTML documentation. The datasets are stored in JSONL format and are suitable for language model training, code search, and other scenarios.
提供机构：
FrancoisMichelon
