jwiegley/category-theory
@jwiegley在 Coq 中进行个人研究与实务工作的范畴论（Category Theory）无公理形式化
星数
808
Fork 数
83
语言
Rocq Prover
许可
BSD-3-Clause
最后推送
20小时前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
在 Coq 中进行个人研究与实务工作的范畴论（Category Theory）无公理形式化
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。