introspector/meta-coq-template-coq
收藏Hugging Face2024-02-12 更新2024-03-04 收录
下载链接：
https://hf-mirror.com/datasets/introspector/meta-coq-template-coq
下载链接
链接失效反馈官方服务：
资源简介：
---
license: mit
---
提供机构：
introspector原始信息汇总
数据集许可证
- 许可证类型: MIT
社区交流群
科研交流群
商业服务