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