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
