jbb/coq_code
收藏Hugging Face2023-12-26 更新2024-03-04 收录
下载链接：
https://hf-mirror.com/datasets/jbb/coq_code
下载链接
链接失效反馈官方服务：
资源简介：
用于使用Coq框架进行数学形式化微调的数据。
A dataset for fine-tuning on mathematical formalization using the Coq framework.
提供机构：
jbb原始信息汇总
数据集概述
许可证
- MIT许可证
用途
- 用于使用Coq框架进行数学形式化的微调
