遇见数据集

Models and data for coq-proof-difficulty

收藏
NIAID Data Ecosystem2026-03-14 收录
定理证明难度评估
数据链接：
https://zenodo.org/record/7601729数据链接链接失效反馈
官方服务：

资源简介：

Models and data for the coq-proof-difficulty project.

创建时间：
2023-02-03
关于我们
遇见数据集——让每个数据集都被发现，让每一次遇见都有价值。
数发科官网www.sfktec.com
联系我们
selectdataset@iotsh.com.cn
商业合作
数据驱动未来，携手共赢发展
二维码
社区交流群
二维码
科研交流群
商业服务